[LinuxBIOS] Re: can an Athlon64 work on a Tyan Tomcat K8S (S2850 G2N) board?