SMP support and Tyan S288X boards

[Francisco Reyes]

Looking for opteron boards got some reports of Tyan S288X boards working.
Does the AMD64 version of FreeBSD support SMP well in these boards?

In http://www.freebsd.org/platforms/amd64.html it says that it supports 
Mutiprocessor, so just wondering how it works on those Tyan boards.

Anything in particular that needed to be changed other than enabling SMP in the kernel?