Re: [PATCH v3 3/5] x86/sgx: Optimize the free_cnt count in sgx_epc_section