Why is this such a big issue? Can't you install any ARM Linux distro from a flash drive? Does that not work? I get that device drivers may not be perfect for any new laptop, but it should mostly work.
"I think ARM is a very promising platform," he said. "At the same time, the ARM community has never had the notion of a standard platform. ARM never had the PC."
https://www.networkworld.com/article/2220438/linus-torvalds-...