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