No - never heard of "alt + sysrq + REISUB", actually. I will give it a try nexttime. (But I suspect that the keyboard handler is frozen, too.)