Замена ядра Linux?

Я пытаюсь сделать что-то, что немного выходит за рамки моего комфорта, и после безуспешных расспросов и поиска в Google я подумал, что попробую здесь.

Я пытаюсь импортировать виртуальную машину Linux VirtualBox в AWS. Проблема в том, что процедура импорта AWS не похожа на Oracle Enterprise / Unbreakable Linux (на которой созданы образы VirtualBox, которые я получаю). Согласно Сообщение блога существует 4 поддерживаемых дистрибутива, и Oracle Linux не входит в их число (однако RedHat, на котором основан Oracle Linux, есть в списке). Я надеюсь, что переход на RedHat решит проблему.

Я нашел Сообщение блога показывает, как поменять местами ядро ​​в загрузчике grub (это их изображение, а не мое):

Однако здесь я отклоняюсь от своей области знаний. Я могу просмотреть этот файл, однако (в отличие от изображения выше) единственный список - это Oracle Linux, нет записей для Red Hat и т. Д., На которые я могу переключиться.

Вопрос, в котором мне нужна небольшая помощь, - как мне получить дополнительные записи в grub.conf? Я предполагаю, что мне нужно загрузить ядро ​​RedHat, а затем указать на него здесь. Это правильно?

Спасибо за любую помощь