There are some POWER boards that offer much better single-package performance vs. ARM, but they are also much more expensive than an x86. In the mid-to-high-end laptop/desktop business it's hard to beat the economies of scale that x86 has.