x86/xen_domu: add config for 3.10