That sounds like something much better done on the host.
So it should be kernel.sysrq=128, right?
kernel.sysrq=128