[coreboot] New patch to review for coreboot: 00ee19f Fix high dword of MTRR mask set with CONFIG_CPU_ADDR_BITS