Re: xen (i686) kernels?