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