Re: [coreboot] r3220 - trunk/coreboot-v2/src/cpu/amd/model_10xxx