Contrib: use athlon64 as the basic cpu for x86_64