Run depmod on the right kernel