diff --git a/sys/arm64/arm64/mp_machdep.c b/sys/arm64/arm64/mp_machdep.c
index 688cc7913d9c..73adb760e05d 100644
--- a/sys/arm64/arm64/mp_machdep.c
+++ b/sys/arm64/arm64/mp_machdep.c
@@ -137,6 +137,7 @@ arm64_cpu_probe(device_t dev)
 	if (cpuid >= MAXCPU || cpuid > mp_maxid)
 		return (EINVAL);
 
+	device_quiet(dev);
 	return (0);
 }
 
@@ -158,10 +159,12 @@ arm64_cpu_attach(device_t dev)
 	if (reg == NULL)
 		return (EINVAL);
 
-	device_printf(dev, "Found register:");
-	for (i = 0; i < reg_size; i++)
-		printf(" %x", reg[i]);
-	printf("\n");
+	if (bootverbose) {
+		device_printf(dev, "register <");
+		for (i = 0; i < reg_size; i++)
+			printf("%s%x", (i == 0) ? "" : " ", reg[i]);
+		printf(">\n");
+	}
 
 	/* Set the device to start it later */
 	cpu_list[cpuid] = dev;