Sim, é possível. Normalmente, o sistema utilizará o kernel mais recente disponível. Você pode alterar o kernel padrão configurando o GRUB ou, em cada inicialização do computador, pressionar SHIFT e mantê-lo pressionado até ver o menu GRUB, onde você pode escolher o kernel que deseja.