[coreboot-gerrit] Patch set updated for coreboot: d23ab8f haswell: Report x32 memory as "x8 or x32"