проблему с недоступностью 8Гб с efi-uboot на rk3588 уже починили?
нет и не планирую тратить время на это, нет смысла.
Загрузчик EFI-EDK2 (разумеется речь о тех платформах, для которых он доступен) позволяет на родном экране выбирать опции загрузки?
Для rk356x - да, это полноценная система запуска с выводом на экран меню выбора, как на обычном ПК.
И кстати, что он собственно позволяет выбиарть: грузиться с usb, sd, nvme и т.д.?
Тут два уровня - EDK2 (меню включается автоматически , если есть сбой запуска с устройств по умолчанию), второй - обычное меню grub, которым вы управляете сами (почти), со всеми общепринятыми возможностями.
Версия 20230209 для rk3588. Добавлена поддержка и загрузчики для моделей Rock5 B и Khadas EDGE2.
Править extlinux.conf (убирать menu title) больше не нужно, удалено при сборке образов.