diff --git a/src/system/boot/arch/arm/arch_mmu.cpp b/src/system/boot/arch/arm/arch_mmu.cpp
index c1ea5922fa..9d4b7e2768 100644
--- a/src/system/boot/arch/arm/arch_mmu.cpp
+++ b/src/system/boot/arch/arm/arch_mmu.cpp
@@ -565,14 +565,14 @@ mmu_init_for_kernel(void)
 
 		dprintf("phys memory ranges:\n");
 		for (i = 0; i < gKernelArgs.num_physical_memory_ranges; i++) {
-			dprintf("    base 0x%08lx, length 0x%08lx\n",
+			dprintf("    base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
 				gKernelArgs.physical_memory_range[i].start,
 				gKernelArgs.physical_memory_range[i].size);
 		}
 
 		dprintf("allocated phys memory ranges:\n");
 		for (i = 0; i < gKernelArgs.num_physical_allocated_ranges; i++) {
-			dprintf("    base 0x%08lx, length 0x%08lx\n",
+			dprintf("    base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
 				gKernelArgs.physical_allocated_range[i].start,
 				gKernelArgs.physical_allocated_range[i].size);
 		}