Hm, genauso ratlos ...
beide vorgeschlagenen Kernel-Module geladen, jedoch ändert sich hier nicht viel:
user@machine : /home/brandt # sysctl -a | grep cpu
kern.smp.cpus: 4
kern.smp.maxcpus: 64
kern.ccpu: 0
<cpu count="4" mask="f">0, 1, 2, 3</cpu>
<cpu count="4" mask="f">0, 1, 2, 3</cpu>...