x86/sgx: Add encls_faulted() helper