I'm surprised that was allowed, there aren't exactly many x86 manufacturers in the market