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