diff --git a/src/system/kernel/arch/x86/arch_vm.cpp b/src/system/kernel/arch/x86/arch_vm.cpp
index 61e9e35c92..9f389aa14c 100644
--- a/src/system/kernel/arch/x86/arch_vm.cpp
+++ b/src/system/kernel/arch/x86/arch_vm.cpp
@@ -31,8 +31,6 @@
 
 #include <arch/x86/bios.h>
 
-#include "x86_paging.h"
-
 
 //#define TRACE_ARCH_VM
 #ifdef TRACE_ARCH_VM