diff --git a/bootloader/OVMF_CODE.fd b/bootloader/OVMF_CODE.fd
index b159e43d9..7db7064c3 100644
Binary files a/bootloader/OVMF_CODE.fd and b/bootloader/OVMF_CODE.fd differ
diff --git a/kernel/src/arch/x86_64/process.rs b/kernel/src/arch/x86_64/process.rs
index 6b0a9eb6f..1d5d753d2 100644
--- a/kernel/src/arch/x86_64/process.rs
+++ b/kernel/src/arch/x86_64/process.rs
@@ -1364,7 +1364,7 @@ impl Process for Ring3Process {
         // TODO(broken): Big (>= 2 MiB) allocations should be inserted here too
         // TODO(ugly): Find a better way to express this mess
         let kvspace = super::vspace::INITIAL_VSPACE.lock();
-        for i in 128..=135 {
+        for i in 128..=510 {
             let kernel_pml_entry = kvspace.pml4[i];
             trace!("Patched in kernel mappings at {:?}", kernel_pml_entry);
             self.vspace.page_table.pml4[i] = kernel_pml_entry;