[Bug 1828455] depmod does not detect inconsistent kernel version numbers under /tmp/weak-modules.9BrwAr/ (was: running for a long time when installing F33 kernel)