[coreboot-gerrit] New patch to review for coreboot: amd/model_fxx: set CPU_ADDR_BITS to 40 on all K8 machines