[coreboot-gerrit] Patch merged into coreboot/master: b57fef9 src/ec: Sanitize headers and comment #endif pairings