diff --git a/Kernel/Prekernel/init.cpp b/Kernel/Prekernel/init.cpp
index d079b2c661..0ce057f3a5 100644
--- a/Kernel/Prekernel/init.cpp
+++ b/Kernel/Prekernel/init.cpp
@@ -179,6 +179,8 @@ extern "C" [[noreturn]] void init()
     for (FlatPtr vaddr = (FlatPtr)end_of_prekernel_image; vaddr < MAX_KERNEL_SIZE; vaddr += PAGE_SIZE)
         boot_pd0_pts[vaddr >> 12] = 0;
 
+    reload_cr3();
+
     void (*entry)(BootInfo const&) = (void (*)(BootInfo const&))kernel_elf_header.e_entry;
     entry(*adjust_by_load_base(&info));