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