[coreboot-gerrit] New patch to review for coreboot: b08ce0a vboot: provide empty vboot_verify_firmware()