diff --git a/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s b/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s
index 2c69b887a..c5348a378 100644
--- a/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s
+++ b/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s
@@ -128,7 +128,9 @@
 	.p2align MIN_PAGE_SIZE_LOG2
 	_kernel_pdp:
 	.quad _kernel_pd + 0xf
-	.fill 511, 8, 0x0
+	.fill 2, 8, 0x0
+	.quad _kernel_pd_503 + 0xf
+	.fill 508, 8, 0x0
 
 	/* PD */
 	.p2align MIN_PAGE_SIZE_LOG2
@@ -136,3 +138,9 @@
 	.quad 0
 	.quad 0x20018f
 	.fill 510, 8, 0x0
+
+	.p2align MIN_PAGE_SIZE_LOG2
+	_kernel_pd_503:
+	.fill 503, 8, 0x0
+	.quad 0xfee0019f
+	.fill 8, 8, 0x0