[PATCH] x86/sgx: fix a NULL pointer