x86/xen_domu: switch to 3.3