Re: [coreboot] K8 SMP broken?