Workaround Debian bug #886366 that breaks DKMS modules build (refs: #14976).

XXX: don't merge

Let's drop this commit once we get Linux 4.14.12-2 which fixes that bug for
real (likely today around 5pm UTC). I'm only committing this now in order to
have automated tests results with Linux 4.14.12 ASAP.