[PATCH V4 20/31] x86/sgx: Free up EPC pages directly to support large page ranges