Re: [RFC 1/1] efi_loader: support building UEFI binaries on sandbox