x86: set default kernel version to 3.10