[coreboot-gerrit] Patch merged into coreboot/master: 4b65c2a lint: improve whitespace test