[coreboot-gerrit] Patch set updated for coreboot: Makefile.inc: lint: Update to run lint-server scripts