[coreboot-gerrit] Patch set updated for coreboot: nb/x4x/nortbridge.c: Fix resource allocation when IGD is disabled