Comment 26 for bug 82195

I am surprised depmod has not been run at some point, however I am not sure whether and when linux-restricted-modules is supposed to run it. The init script runs lrm-manager --quick, where "quick" exactly means do not run depmod.