AMD has a quarter of the x86 CPU market share