linux sysrq howto: keys and definitions