AFAIK bpappan is having problems with reboot, shutdown works. I know there is a bunch of code in Linux kernel to deal with buggy BIOS'es which won't reboot. OP's BIOS probably has a quirk which is not handled by FreeBSD kernel, thus, upgrading BIOS sounds like good idea.