[coreboot] Patch merged into coreboot/master: 09574d5 Fix high dword of MTRR mask set with CONFIG_CPU_ADDR_BITS