major restructuring, prepare for smp

code/kernel/io_device.c

@@ -1,8 +1,8 @@
 // io_device.c - kernel driver/device dispatch and disk registry
 #include <string.h>
-#include <io_driver.h>
-#include <ke_irp.h>
-#include <mm_virt.h>
+#include <ntlite/ddi/io_driver.h>
+#include <kernel/ke_irp.h>
+#include <kernel/mm_virt.h>
 
 #define MAX_DISK_DEVICES 8