You claimed that the Intels are more EFFICIENT than ARM processors, so the devices need to be lighter and faster but so far I'm not aware of any x86 handheld that manages that.
I'd totally be in favor of that happening. Device Tree is a clusterfuck and as long as the cast majority of consumer ARM devices don't support the SystemReady specification, x86 is more flexible but that's not the point you were arguing.
Processor start-ups need to make their own x64 processors now that the patents are no longer valid.