Index: sys/amd64/amd64/machdep.c
===================================================================
--- sys/amd64/amd64/machdep.c
+++ sys/amd64/amd64/machdep.c
@@ -298,8 +298,8 @@
 	    ptoa((uintmax_t)vm_free_count()),
 	    ptoa((uintmax_t)vm_free_count()) / 1048576);
 #ifdef DEV_PCI
-	if (bootverbose && intel_graphics_stolen_base != 0)
-		printf("intel stolen mem: base %#jx size %ju MB\n",
+	if (intel_graphics_stolen_base != 0)
+		printf("Intel graphics stolen mem: base %#jx, size %ju MB\n",
 		    (uintmax_t)intel_graphics_stolen_base,
 		    (uintmax_t)intel_graphics_stolen_size / 1024 / 1024);
 #endif