If you choose xen in installation, only kernel-xen-hypervisor is installed, not the ordinary uni/smp kernels on i686. Is this intentional? How could one install both xen and ordinary kernels, without doing it manually after install?