diff --git a/src/security/vboot/verstage.c b/src/security/vboot/verstage.c
index d2a9705546..d785e0e6ac 100644
--- a/src/security/vboot/verstage.c
+++ b/src/security/vboot/verstage.c
@@ -19,6 +19,7 @@ void main(void)
 
 	if (CONFIG(VBOOT_RETURN_FROM_VERSTAGE)) {
 		verstage_main();
+		printk(BIOS_DEBUG, "VBOOT: Returning from verstage.\n");
 	} else {
 		run_romstage();
 		hlt();