Boot 64bit Linux(eg. Arch) on 32bit EFI / 在 32 位 EFI 上启动 64 位的 Linux - View it on GitHub