[coreboot-gerrit] Patch set updated for coreboot: nb/x4x: Do not enable IGD when not supported