xen (i686) kernels?