[coreboot-gerrit] Patch set updated for coreboot: 856cdeb Rename directories to match vendor names