x86/alix2: add kernel config for 3.10