[patch 3/3] Have kernel-PAE.i686 and kernel.x86_64 fix DEFAULTKERNEL=kernel-xen