Sorry for double posting, but this is just to report that the sysreq trick you recommended does not work in my case. Indeed, not even the capslock light responds; it's like the keyboard is being completely ignored by my system. pants.