void vboot_main(void);
void verstage_vboot_main(void);