Followup-For: Bug #1077217 A patch can possibly be derived from xtrx-dkms which had a similar problem:
https://bugs.debian.org/1077678 https://github.com/myriadrf/xtrx_linux_pcie_drv/issues/19 https://github.com/myriadrf/xtrx_linux_pcie_drv/pull/20 Andreas
