x86_64: fixup include paths; mmu.h is shared now

kernel/arch/x86_64/idt.c

@@ -23,12 +23,12 @@
 #include <kernel/hashmap.h>
 #include <kernel/module.h>
 #include <kernel/ksym.h>
+#include <kernel/mmu.h>
 
 #include <sys/time.h>
 #include <sys/utsname.h>
 #include <sys/ptrace.h>
 
-#include <kernel/arch/x86_64/mmu.h>
 #include <kernel/arch/x86_64/ports.h>
 #include <kernel/arch/x86_64/pml.h>
 #include <kernel/arch/x86_64/regs.h>

kernel/arch/x86_64/mmu.c

@@ -16,8 +16,8 @@
 #include <kernel/process.h>
 #include <kernel/spinlock.h>
 #include <kernel/misc.h>
+#include <kernel/mmu.h>
 #include <kernel/arch/x86_64/pml.h>
-#include <kernel/arch/x86_64/mmu.h>
 
 extern void arch_tlb_shootdown(uintptr_t);
 

kernel/arch/x86_64/smp.c

@@ -17,8 +17,8 @@
 #include <kernel/args.h>
 #include <kernel/time.h>
 #include <kernel/multiboot.h>
+#include <kernel/mmu.h>
 #include <kernel/arch/x86_64/acpi.h>
-#include <kernel/arch/x86_64/mmu.h>
 
 __attribute__((used))
 __attribute__((naked))

kernel/arch/x86_64/user.c

@@ -10,8 +10,8 @@
 #include <stdint.h>
 #include <kernel/process.h>
 #include <kernel/string.h>
+#include <kernel/mmu.h>
 #include <kernel/arch/x86_64/regs.h>
-#include <kernel/arch/x86_64/mmu.h>
 #include <kernel/arch/x86_64/ports.h>
 
 /**

modules/vbox.c

@@ -25,10 +25,10 @@
 #include <kernel/mouse.h>
 #include <kernel/args.h>
 #include <kernel/module.h>
+#include <kernel/mmu.h>
 
 #include <kernel/arch/x86_64/regs.h>
 #include <kernel/arch/x86_64/ports.h>
-#include <kernel/arch/x86_64/mmu.h>
 #include <kernel/arch/x86_64/irq.h>
 
 #define VBOX_VENDOR_ID 0x80EE