Yes, sorry my fault. Indeed there is a link. This was a result of calling depmod on my active snapshot where the new kernel was being installed in different snapshot. Sorry for the noise.