[PATCH v2] x86/sgx: fix a NULL pointer