What seems more likely to me is a hybrid ARM / x86 machine that switches dynamically between processors, kind of like how some macs can switch dynamically betwe

What seems more likely to me is a hybrid ARM / x86 machine that switches dynamically between processors, kind of like how some macs can switch dynamically between their integrated and discrete GPUs.