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