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