The FreeBSD ARM team have completed the work to support multicore on ARM.  You can read the announcement here.  I've made a new build of FreeBSD ARM for Wandboard, which you can download here.

The dmesg output is here, and here is the sysctl showing four cores

[Kroot@wandboard:~ # sysctl -a | grep hw.ncpu
hw.ncpu: 4