Você pode fazer sua própria entrada no grub se souber onde está o kernel, etc. Basicamente edite /etc/grub.d/40_custom copiando outra seção e especifique os locais de kernel / arquivo diferentes, então execute 'update-grub2', usando este link para referência: link