[PATCH] Make ctrl_alt_del call kernel_restart to get a proper reboot.