[coreboot] Patch merged into coreboot/master: 13a40c2 lint: Avoid downloading blobs repository