[coreboot-gerrit] Patch merged into coreboot/master: lint/lint-007-checkpatch: Update lint script