How to close down GNU/Linux safely after a system freeze with the SysRq key