Left out printing to sysrq-trigger