diff --git a/headers/private/kernel/arch/x86/arch_kernel_args.h b/headers/private/kernel/arch/x86/arch_kernel_args.h
index cada9db4a0..ae418f187c 100644
--- a/headers/private/kernel/arch/x86/arch_kernel_args.h
+++ b/headers/private/kernel/arch/x86/arch_kernel_args.h
@@ -13,7 +13,7 @@
 #include <util/FixedWidthPointer.h>
 
 
-#define MAX_BOOT_PTABLES 8
+#define MAX_BOOT_PTABLES 16
 
 #define _PACKED __attribute__((packed))