check if they use dkms for module building. those tend to survive kernel updates way better than manually built ones
