x86/xen_domu: remove old kernel config