diff --git a/src/drivers/pc80/tpm/tpm.c b/src/drivers/pc80/tpm/tpm.c
index ba2561d..be616a2 100644
--- a/src/drivers/pc80/tpm/tpm.c
+++ b/src/drivers/pc80/tpm/tpm.c
@@ -410,7 +410,7 @@
 		break;
 	}
 	/* this will have to be converted into debug printout */
-	printf("Found TPM %s by %s\n", device_name, vendor_name);
+	printk(BIOS_INFO, "Found TPM %s by %s\n", device_name, vendor_name);
 	return 0;
 }