It just strikes me that SysRq is broken here:Alt+SysRq+h doesn't print anythingCONFIG_MAGIC_SYSRQ=yCONFIG_INPUT_EVDEV=ykernel.sysrq=1echo h >/proc/sysrq-trigger worksKeyboard is USB one, "Logitech HID compliant keyboard".