[coreboot-gerrit] New patch to review for coreboot: lint/lint-stable-004-style-labels: Update script