[coreboot-gerrit] Patch set updated for coreboot: 772f7ee src/ec: Sanitize headers and comment #endif pairings