[Fedora-xen] is kernel-xen PAE ?