kernel: ps2 initialisation

kernel-src/arch/x86-64/main.c

@@ -19,6 +19,7 @@
 #include <kernel/initrd.h>
 #include <kernel/devfs.h>
 #include <kernel/pseudodevices.h>
+#include <arch/ps2.h>
 
 static cpu_t bsp_cpu;
 
@@ -58,5 +59,7 @@ void kernel_entry() {
 
 	pseudodevices_init();
 
+	arch_ps2_init();
+
 	__assert(!"kernel entry end");
 }