diff --git a/src/system/boot/platform/u-boot/start2.c b/src/system/boot/platform/u-boot/start2.c
index 158caf56fa..50116af92d 100644
--- a/src/system/boot/platform/u-boot/start2.c
+++ b/src/system/boot/platform/u-boot/start2.c
@@ -77,7 +77,7 @@ platform_start_kernel(void)
 
 //	smp_init_other_cpus();
 	serial_cleanup();
-//	mmu_init_for_kernel();
+	mmu_init_for_kernel();
 //	smp_boot_other_cpus();
 
 	dprintf("kernel entry at %lx\n",