Semmi baj az elnevezéssel, mert így hívják. Ugyanezt teszi a: /sbin/reboot -f Megoldható - ahogy írtad - a "Magic SysRq key" segítségével is. Tehát akkor hurrá.