You are right that tuxedo has some issues. But also take into account price of their notebooks. Even lenovo, hp, dell etc. are not without issues in the similar price category. I take it as cheap HW for advanced users.

But you are right that not having drivers upstream is really strange decision.