ordinary kernels install when choosing xen