Add DKMS config

Someone more motivated than me should turn this into a proper debian package.