Re: [coreboot] AMD MCT fixes