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