[coreboot-gerrit] Patch merged into coreboot/master: amd/model_fxx: set CPU_ADDR_BITS to 40 on all K8 machines