我的联想 U400 上没有 UEFI shell 选项。我使用 rEFInd 三次启动 Windows 10、Debian Sid 和 FreeBSD 13.0-CURRENT（很快会添加 macOS Mojave）。我想要一个 EFI shell 选项，但我的 EFI 接口（联想 57CN30WW）没有内置 shell，我的 EFI 分区也没有 shellx64.efi 二进制文件。我听说过 EDK II，但我不知道如何在 Linux 系统或 Windows 系统上构建它。我也不知道如何使用它。我该如何在我的系统上启动并运行 EFI shell，最好是从 Debian 开始？