[PATCH 1/1] efi_loader: incorrect buffer size in efi_file_setinfo()