diff --git a/bbl/bbl.c b/bbl/bbl.c
index ce1be95d..b6b521b4 100644
--- a/bbl/bbl.c
+++ b/bbl/bbl.c
@@ -24,7 +24,7 @@ static uintptr_t dtb_output()
    * thus mandating device-tree is in physical memory after the kernel.
    */
   uintptr_t end = kernel_end ? (uintptr_t)kernel_end : (uintptr_t)&_payload_end;
-  return (end + MEGAPAGE_SIZE - 1) / MEGAPAGE_SIZE * MEGAPAGE_SIZE;
+  return (end + 16 * MEGAPAGE_SIZE - 1) / MEGAPAGE_SIZE * MEGAPAGE_SIZE;
 }
 
 static void filter_dtb(uintptr_t source)