diff --git a/src/core/mem.c b/src/core/mem.c
index 5903eaad..f0f554fd 100644
--- a/src/core/mem.c
+++ b/src/core/mem.c
@@ -147,7 +147,12 @@ static bool root_pool_set_up_bitmap(paddr_t load_addr, struct page_pool* root_po
     if (root_pool->size <= bitmap_num_pages) {
         return false;
     }
+
+#ifdef MEM_PROT_MMU
     size_t bitmap_base = load_addr + image_size + vm_image_size + cpu_size;
+#else
+    size_t bitmap_base = load_addr + image_size + cpu_size;
+#endif
 
     struct ppages bitmap_pp = mem_ppages_get(bitmap_base, bitmap_num_pages);
     bitmap_t* root_bitmap = (bitmap_t*)mem_alloc_map(&cpu()->as, SEC_HYP_GLOBAL, &bitmap_pp,