Hard poweroff of VirtualBox 15.4 guests allow full reboot without hang. It will not reboot from saved VM state so something in the machine breaks the new kernel on reboot without power off.