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