Just out of curiosity, did you first try alt + sysrq + REISUB ? This generallysaves me from hard rebooting.