diff --git a/src/kernel/boot/platform/openfirmware/start.c b/src/kernel/boot/platform/openfirmware/start.c
index 29cf7534e4..751df8db1e 100644
--- a/src/kernel/boot/platform/openfirmware/start.c
+++ b/src/kernel/boot/platform/openfirmware/start.c
@@ -70,7 +70,6 @@ start(void *openFirmwareEntry)
 	of_init(openFirmwareEntry);
 	console_init();
 	arch_mmu_init();
-	printf("testing mmu allocation: %p\n", arch_mmu_alloc(128 * 1024, B_READ_AREA));
 
 	main(&args);
 		// if everything wents fine, main() never returns