Столько это сколько?
Это надо спрашивать у оф. представителей (ранее в теме от него был ответ) и в личку, сомневаюсь, что это будут обсуждать публично.
Для справки, я не сотрудник Базальт (занимаюсь поддержкой ARM и RISC-V на "безвозмездной" основе, т.е. бесплатно, как "хобби") и не знаю всех нюансов.
Китайцы заявляют, что поддержка UEFI в них имеется, правда пока в стадии тестирования.
Поддержка EFI для roc-rk3588s-ps есть, можно использовать уже сейчас (подробности, как запускать на rk3588s-rock-pc есть в этой теме).
AIO-3588SJD4 - у меня в наличии нет, поэтому ни чего не делал для этой модели, в том числе нет и образов для неё даже с обычным u-boot.