[coreboot-gerrit] Patch set updated for coreboot: 7f47571 chromeos: fix compilation some issues