1 files changed, 4 insertions, 2 deletions

diff --git a/sys/dev/ppc/ppc.c b/sys/dev/ppc/ppc.c
index f0aa95db9cd2..c6818a2712cf 100644
--- a/sys/dev/ppc/ppc.c
+++ b/sys/dev/ppc/ppc.c
@@ -1785,8 +1785,10 @@ ppc_probe(device_t dev)
 
 		ppc->rid_extraio = 0;
 
-		device_printf(dev, "This ppc chipset does not support the extended I/O port range...no problem\n");
-}
+		if (bootverbose)
+			device_printf(dev,
+"This ppc chipset does not support the extended I/O port range...no problem\n");
+	}
 
  	ppc->ppc_base = rman_get_start(ppc->res_ioport);