diff --git a/sys/dev/psci/psci.c b/sys/dev/psci/psci.c
index ea656bb6be66..83c9bdb9a1a4 100644
--- a/sys/dev/psci/psci.c
+++ b/sys/dev/psci/psci.c
@@ -495,7 +495,7 @@ psci_v0_2_init(device_t dev)
 	if ((PSCI_VER_MAJOR(version) == 0 && PSCI_VER_MINOR(version) == 2) ||
 	    PSCI_VER_MAJOR(version) == 1) {
 		if (bootverbose)
-			device_printf(dev, "PSCI version 0.2 available\n");
+			device_printf(dev, "PSCI version 0.2 compatible\n");
 
 		/*
 		 * We only register this for v0.2 since v0.1 doesn't support