[coreboot-gerrit] Patch set updated for coreboot: 95289e0 vboot checkopoint