Yup, and it's understandable for vendors of consumer devices that they want to lock down the software to avoid support issues, but it's remarkable that there are e.g. no dev-boards with Bay Trail chips. In my opinion, that means that Intel keeps the platform locked. I do understand why, after all, they do have an interest in Tizen, but fact remains that even with their brother-in-arms-for-Tizen Samsung, they are scoring pretty poor, the market definitely seems to prefer the Tab 3 with Exynos over the Tab 3 with Atom for instance. Also other vendors, like Asus, with their newest Atom devices, don't sell that well. I only have experience with the Galaxy Tab 3, and the Exynos ARM-SoC version is a lot smoother and more functional than the Atom-version. The Atom version was introduced in June/July last year I think, and now it's been replaced already by an Exynos version, whereas other Samsung devices have a lifespan of more than a year to several years. Android-x86 is not the greatest thing ever. I tried to run Android-x86 in a container on my PC, but I switched to Android-ARM in a QEMU-container, and guess what... the QEMU-version actually performs better... that's a sign that Android-x86 is not competitive at all.
I use SailfishOS now on my Jolla, and I think it's great. It might work better on x86 than Android, but I can't say that I'm that interested in it, because it works great on ARM as well. The functionality and ease of use is great. It loads Android apps, but isn't as bloated and bogged down as AOSP. It's also quite a bit faster as Samsung Androids on custom kernels, and the GUI is much less confusing and chaotic as Android. I could definitely use an ARM-tablet with SailfishOS, full connectivity (which is the big problem now, most manufacturers of devices provide very limited I/O options) as a laptop replacement, and gain quite a bit of productivity efficiency. I'm actually waiting for a dev-board with a very powerful ARM-SoC, that I could use as a mini-PC.
At FOSDEM two weeks ago, almost all of the innovations that mattered were ARM-focused. The press is full of talk about innovations on x86, but I see very little of those, in fact, the major innovation that is about to be implemented, is based on RISC-processors that are added to the x86-cores as co-processors, and that is then called HSA. The 12 cores of an APU are actually 8 RISC units and 4 CISC units that use a lot of RISC-like technology.
Look at who pays for linux, and you know who has the most functionality. IBM is investing a billion in linux, and has no x86-products, Intel and Samsung are investing in the linux foundation's Tizen, which is mainly focused on ARM, RedHat and Novell are cutting funds for their normal x86 upstream community distros, and focusing on the server market, where there is ever more RISC presence.
Right now, x86 CISC still has a better performance per Watt ratio than RISC processors, but look at how much it costs to accomplish that. Every little step forward in the development of CISC processors is costing a lot more than the previous step. That means that x86 is closing a hard limit. RISC-chips are still very far from hitting any limits: every step forward in ARM-design brings a huge boost in performance, and the chips keep getting cheaper to produce and development times keep getting shorter. Another benefit they have is that the designs are non-US, ARM is based in the UK, and many other designs are European (Scandinavian, French, German, ...), and with the US x86 hardware designs having been spiked by the NSA, there is a definite motivation of the market, especially the enterprise and government market, the big spenders, to find an alternative, and because RISC SoC development is relatively cheap, and the majority thereof is based on open source development, they sponsor a lot of research, and the products advance really rapidly. Not in the consumer devices that run a locked down operating system or are locked down by an ISP or telecom giant, but in dev boards and enterprise products.
Yes, Intel still has a better performance per Watt in comparison to ARM, but not in comparison to RISC, because PPC does better in scaled applications when it comes to performance per Watt, and in dev boards, the performance per Watt of Intel Haswell and Broadwell may still be better, but therefore the linux support is problematic (Intel just can't seem to get Haswell working well in linux, they are still working on Ivy Bridge support, and that seems to be quite good now, and latest gen AMD x86 products do work well in linux, but they don't come near the performance per Watt of Haswell/Broadwell), and the performance per dollar is not so good. For the price of one Haswell i5, you can get 10 powerful ARM-dev-boards that can easily - and without extra hardware - , scale up to a similar performance, while using a bit more power, but also while offering better functionality as a whole.