Clean up PS/2 keyboard driver, new IPC mechanism MBus (message bus)

kernel/proc/proc.c

@@ -9,6 +9,7 @@
 #include "vfs/vfs.h"
 #include "bootinfo/bootinfo.h"
 #include "ipc/pipe/pipe.h"
+#include "ipc/mbus/mbus.h"
 #include "sysdefs/proc.h"
 #include "sysdefs/fs.h"
 #include "time/time.h"
@@ -222,6 +223,7 @@ void proc_reaper(void) {
 
 void proc_tick(void) {
   proc_reaper();
+  ipc_mbustick();
 }
 
 void proc_sched(void *cpustate) {