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