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