xen: remove support for non-PAE 32-bit