Re: [Fedora-xen] 32bit PAE capable kernel