Yes, indeed, But wasn't it K8 which brought severe coldbug for AMD? E.g. K7 was much more flexible under subzero cooling and could go far beyond where K8 got bugged.