[PATCH 0/3] efi_loader: make protocols configurable