https://wiki.ubuntu.com/UEFI/SecureBoot/DKMS https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1566221 Yikes. Not a very nice situation, but of course it's temporary, as the problem will disappear once we merge to mainline.