ううむ、

debug.acpi.disabled="pci"

を /boot/loader.conf に追加して、SMP kernel でリブートしたところ、
正しくリブートできない模様。

現在リブート要請中。
しかし、コンソールオペレーションが必要かも、、、。