1. Проверить, что установлена утилита grubby:
sudo grubby --default-kernel
sudo grubby --default-index
2. Найти нужное ядро среди установленных:
ls -l /boot
3. Выбрать другое ядро по умолчанию:
sudo grubby --set-default /boot/vmlinuz-4.2.0-1.fc23.x86_64