[LinuxBIOS] add K8 cpuid support for ADA3500DKA4CG