The situation was less severe then I feared. I'm awaiting replys regarding this: https://gitlab.com/tuxedocomputers/development/packages/tuxedo-drivers/-/merge_requests/17 and this: https://github.com/tuxedocomputers/tuxedo-keyboard/pull/155 (via mail as the GitHub repo is archived). This is to let upstream know the results of me going through the commits and I hope that this does not get merge without giving us reasonable time to resolve the last module, which would obsolete patch 2/2.
