kernel-3.9-1-x86_64
* update x86_64 config to 3.10