Quite plausible. Dell still sells lots of Linux machines which come with a slightly customized Ubuntu, but support is not very good. My employer bought me a $2

Quite plausible. Dell still sells lots of Linux machines which come with a slightly customized Ubuntu, but support is not very good. My employer bought me a $20k workstation a few years back. Hardware was 100% mainstream x86_64. It was expensive simply because it had a massive amount of ECC RAM and a big Xeon CPU. Anyway, it was pretty shocking to discover that the machine bootlooped straight out of the box. Easy to fix, just boot from a live USB and install another Linux distribution, which I was planning to do anyway, but quite disappointing for an expensive product from a manufacturer that supposedly supports Linux and sells tons of servers. Hopefully, as Microsoft looses some leverage, we can get good Linux support from other manufacturers.