Re: (misleading stats)
"or are there other x86 vendors in the market whose figures should be added to the mix?"
No, but there are other chips that aren't AMD64 compatible that could be used in some cases. The Itanic is I believe still shipping, and probably someone is using it. ARM is another option