Having a few various RPi's (as one does), when they've been out of stock, I've looked into the huge variety of similar SBCs (OrangePi, etc) which can be even faster, with more ports and features for around the same money as an equivalent RPi. Many are powered by various RockChip SoCs, which extend up to desktop replacement-level, but the Linux driver support is usually lacking in some important way.
It's not Linux's fault, it's a small group of volunteers struggling with little manufacturer support or documentation. I don't get why RockChip doesn't budget the money in the business plan to fund full driver support for at least some of their more capable chips. I guess maybe too many of these chips are used in non-OS contexts to be worth it?