kernel-PAE or xen or both?