move reboot call to handlerscc

device/ps2controller.cc

@@ -122,9 +122,6 @@ bool fetch(Key &pressed) {
 
   pressed = key_decoder.decode(out_buffer);
 
-  if (pressed.ctrl() && pressed.alt() && pressed.scancode == Key::KEY_DEL)
-      System::reboot();
-  
   if (pressed.alt() || pressed.ctrl() || !pressed.valid())
     return false;
   else

interrupt/handlers.cc

@@ -72,9 +72,12 @@ enum PAGE_FAULT_ERROR {
 extern TextStream kout;
 extern Ticketlock koutlock;
 void handle_keyboard() {
-
     Key key = Key();
     if (PS2Controller::fetch(key)) {
+
+        if (key.ctrl() && key.alt() && key.scancode == Key::KEY_DEL)
+            System::reboot();
+
         koutlock.lock();
         kout << key.ascii() << flush ;
         koutlock.unlock();