Re: [PATCH v3 0/2] efi_loader: make the UEFI boot manager configurable