[coreboot-gerrit] Patch set updated for coreboot: lint/lint-007-checkpatch: Update lint script