Why is good idea to disable sysreq? Since we have ipmi serial, it might save us