[coreboot-gerrit] New patch to review for coreboot: b1c7dd6 mainboards: Add missing header guards