[coreboot] K8 dual channel problem