[coreboot-gerrit] Patch merged into coreboot/master: f129756 lint: exclude *.hex files from whitespace checking