diff --git a/src/security/vboot/vboot_common.h b/src/security/vboot/vboot_common.h
index f25ee46b6f..a260475071 100644
--- a/src/security/vboot/vboot_common.h
+++ b/src/security/vboot/vboot_common.h
@@ -43,6 +43,7 @@ int vboot_retrieve_hash(void *digest, size_t digest_size);
  * If the verstage is a separate stage, it should be entered via main().
  */
 void verstage_main(void);
+void verstage_mainboard_early_init(void);
 void verstage_mainboard_init(void);
 
 /* Check boot modes */