Hi!
There exist machines which don't have SysRq key at all, e.g. chromebooks.
This patch allows configuring an alternative key to act as SysRq. Devices
which declare KEY_SYSRQ in their 'keybit' bitmap continue using KEY_SYSRQ,
but other devices use the alternative SysRq key instead, by default F10.
Which key is actually used can be modified with sysrq's module
parameter.
Is F10 sensible default? Would it make sense to use something like
alt-shift-esc so that this can be enabled by default?