Re: [coreboot] Patch set updated for coreboot: 7b95bb0 Fix high dword of MTRR mask set with CONFIG_CPU_ADDR_BITS