[coreboot-gerrit] Patch set updated for coreboot: 96c3ed7 util/lint/lint-stable-003-whitespace: Ignore temporary files ending with a tilde