[coreboot-gerrit] Patch set updated for coreboot: 56b95d2 src/console: Sanitize headers and IS_ENABLED usage