Lenovo U400 には UEFI シェルのオプションがありません。Windows 10、Debian Sid、FreeBSD 13.0-CURRENT (近々 macOS Mojave も追加予定) を rEFInd でトリプル ブートしています。EFI シェルのオプションが欲しいのですが、EFI インターフェイス (Lenovo 57CN30WW) には組み込みシェルがなく、EFI パーティションには shellx64.efi バイナリがありません。EDK II について聞いたことがありますが、Linux システム、または Windows システムでビルドする方法がわかりません。正確な使用方法もわかりません。できれば Debian から、システムで EFI シェルを起動して実行するにはどうすればよいでしょうか?