No tengo opción para un shell UEFI en mi Lenovo U400. Estoy iniciando tres veces Windows 10, Debian Sid y FreeBSD 13.0-ACTUAL (pronto agregaré macOS Mojave a eso) con rEFInd. Quiero una opción para el shell EFI, pero mi interfaz EFI (Lenovo 57CN30WW) no tiene un shell incorporado, ni mi partición EFI tiene un binario shellx64.efi. Escuché sobre el EDK II, pero no tengo idea de cómo construirlo en un sistema Linux o en un sistema Windows. Tampoco sé exactamente cómo usarlo. ¿Cómo puedo poner en funcionamiento un shell EFI en mi sistema, preferiblemente desde Debian?