[PATCH v3 1/5] x86/sgx: Fix a resource leak in sgx_init()