[PATCH v3] x86/sgx: Fix a NULL pointer