Re: [coreboot] K8 HT architecture