Re: [PATCH V4 11/31] x86/sgx: Keep record of SGX page type