У меня нет возможности использовать оболочку UEFI на моем Lenovo U400. Я загружаю трижды Windows 10, Debian Sid и FreeBSD 13.0-CURRENT (скоро добавлю macOS Mojave) с rEFInd. Мне нужна опция для оболочки EFI, но мой интерфейс EFI (Lenovo 57CN30WW) не имеет встроенной оболочки, и в моем разделе EFI нет двоичного файла shellx64.efi. Я слышал об EDK II, но понятия не имею, как его собрать в системе Linux или, если на то пошло, в системе Windows. Я также не знаю, как им пользоваться. Как мне запустить оболочку EFI в моей системе, желательно из Debian?