[coreboot-gerrit] Patch set updated for coreboot: a4a3642 vboot_wrapper: handling VBERROR_TPM_REBOOT_REQUIRED from VbInit().