>Isn't the default kernel SMP-enabled?
Yes:
http://svn.freebsd.org/viewvc/base/r...60&view=markup
>I may be hallucinating but I was sure FreeBSD shows each of the CPUs in top.
No, as far as I know there is a UNIX top in beta since some months. Htop uses a new extension to the Linuxulator and shows both of the cpus.