Mailing the story:
Upstream Linux Developers Take Aim At TUXEDOs Out-Of-Tree GPLv3 Drivers
A new patch series posted today to the Linux kernel mailing list would block kernel modules/drivers from TUXEDO Computers from accessing GPL-only symbols in the kernel.