efi_loader: loosen check of parameters of efi_file_open()