Очень хотелось бы, чтобы очередной Всеволод Волков написал UEFI Volkov Commander. Того, кто за это возьмется ждут предсказуемые трудности: только FAT32 поддерживается в UEFI, а всё прочее представлено в виде блочных устройств. Работы в этом деле — непочатый край.
Теория и практика EFI Byte Code