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