prune unnecessary header

diff --git a/platform/xen/xen/kernel.c b/platform/xen/xen/kernel.c
index e1220cb938b1f3d51bb6dbb100f5cca5523cfe95..549e936abda5985d1dbccebe20825de7b650c8aa 100644 (file)
--- a/platform/xen/xen/kernel.c
+++ b/platform/xen/xen/kernel.c
@@ -44,7 +44,6 @@
 #include <xen/version.h>
 
 #include <bmk-core/core.h>
-#include <bmk-core/pgalloc.h>
 #include <bmk-core/printf.h>
 
 uint8_t _minios_xen_features[XENFEAT_NR_SUBMAPS * 32];