diff --git a/headers/private/kernel/arch/x86/arch_kernel_args.h b/headers/private/kernel/arch/x86/arch_kernel_args.h
index 9014a958b8..cada9db4a0 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 4
+#define MAX_BOOT_PTABLES 8
 
 #define _PACKED __attribute__((packed))