diff --git a/libsupport_zynq/src/boot.rs b/libsupport_zynq/src/boot.rs
index 3b52934..e4e076f 100644
--- a/libsupport_zynq/src/boot.rs
+++ b/libsupport_zynq/src/boot.rs
@@ -69,7 +69,8 @@ unsafe extern "C" fn boot_core1() -> ! {
     let mpcore = mpcore::RegisterBlock::mpcore();
     mpcore.scu_invalidate.invalidate_core1();
 
-    let mmu_table = mmu::L1Table::get();
+    let mmu_table = mmu::L1Table::get()
+        .setup_flat_layout();
     mmu::with_mmu(mmu_table, || {
         ACTLR.enable_smp();
         ACTLR.enable_prefetch();