[PATCH] x86/sgx: Fix free_cnt counting logic in epc section