Я предполагал, что UEFI является спецификацией/реализацией.
поэтому вы упаковываете его с другим загрузчиком (например, Grub2).
нет такой вещи, как сингулярный загрузчик UEFI.
по сути U-boot это загрузчик сам по себе, но нет такой идеи загрузчика "one and done" UEFI. Существуют различные варианты загрузчиков с поддержкой UEFI.
это правильно?