:: commit 48f890ad436e8c734fbb6be75182703aaa3f877c

diff --git a/stage23/mm/vmm.c b/stage23/mm/vmm.c
index eb3f31f3..1355abd9 100644
--- a/stage23/mm/vmm.c
+++ b/stage23/mm/vmm.c
@@ -52,7 +52,7 @@ static bool is_1gib_page_supported(void) {
         CACHE = cpuid(0x80000001, 0, &eax, &ebx, &ecx, &edx) && ((edx & 1 << 26) == 1 << 26);
         CACHE_INIT = true;
 
-        print("paging: 1GiB pages are %s!\n", CACHE ? "supported" : "not supported");
+        printv("paging: 1GiB pages are %s!\n", CACHE ? "supported" : "not supported");
     }
 
     return CACHE;