Re: [PATCH v4] x86/sgx: Fix the call order of synchronize_srcu() in sgx_release()