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