kernel-image-rbs-def необходимо, как и другие пакеты репозитория, собирать с дефолтным gcc для репозитория, а не gcc12.
Так этот пакет не собирается с 2023.
(Ответ для Vitaly Chikunov на комментарий #1) > Так этот пакет не собирается с 2023. Тогда это ядро было собрано специально для поддержки одноплатника Repka Pi 3. Однако, сейчас есть более новое ядро для него - 6.1.11-repka-alt3. Попробовал также загрузить 6.12.74-rt-alt1 на Repka Pi 3 - загрузилось и в 1-м приближении нормально работало. Поэтому предлагаю удалить kernel-image-rbs-def. Если есть возражения против удаления - прошу сообщить о них.
Если не поддерживаете, удаляйте.