Turns out this was a bit of a perfect storm for this combo to start working. There is a bug where some dependency linux header thing messes up getting the right DKMS thing installed and it presents these kind of errors no matter what tricks you try to pull: The BIOS in the Lenovos had need of enabling virtualization Part…