i386 PAE domain0 support

Missing pieces for a domain0 kernel supporting the i386 PAE extensions has been added to current. A new kernel XEN3PAE_DOM0 should show up in the next HEAD autobuild. This kernel can be used with a i386 PAE or x86_64 hypervisor. The sysutils/xenkernel3 and sysutils/xenkernel33 packages for i386 both provide i386 PAE hypervisor kernels. [0 comments]