[coreboot-gerrit] Patch set updated for coreboot: b97d16d mainboards: Add missing header guards