SysRq (Magic SysRq key)

That sounds like something much better done on the host.

So it should be kernel.sysrq=128, right?