Yeah π A very large point of Linux mobile is to get away from vendor specific kernels and non-upstream drivers, so that devices can be run on mainline kernels easily.
It does sound like the situation with the Pinephone Pro is better in that regard, but why does it have to be so darn overpriced? π