[coreboot-gerrit] Patch set updated for coreboot: 768e0a9 chromeos: Add missing headers