Index: kernel/arch/amd64/src/boot/boot.S
===================================================================
--- kernel/arch/amd64/src/boot/boot.S	(revision ca8f84f28749a37bc03923e5f1b1de449c46816a)
+++ kernel/arch/amd64/src/boot/boot.S	(revision fef504a2ec75b492fbfc942a4a1caa99b045fd64)
@@ -605,20 +605,20 @@
 .align 4096
 ptl_2_4g:
-	ptl2gen 512 3
+	ptl2gen 512 4
 
 /* Page table for pages in the 6th gigabyte. */
 .align 4096
 ptl_2_5g:
-	ptl2gen 512 3
+	ptl2gen 512 5
 
 /* Page table for pages in the 7th gigabyte. */
 .align 4096
 ptl_2_6g:
-	ptl2gen 512 3
+	ptl2gen 512 6
 
 /* Page table for pages in the 8th gigabyte. */
 .align 4096
 ptl_2_7g:
-	ptl2gen 512 3
+	ptl2gen 512 7
 
 .align 4096