[coreboot-gerrit] Patch set updated for coreboot: nb/intel/pineview: Make preallocated igd memory a cmos parameter