[coreboot-gerrit] Patch set updated for coreboot: 18db1db chromeos: add missing vboot functions