[coreboot-gerrit] Patch merged into coreboot/master: 95b0c3d arch/x86/include/bootblock_common.h: Sanitize header inclusion