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