[PATCH V5 08/31] x86/sgx: Move PTE zap code to new sgx_zap_enclave_ptes()