On 2 May 2024, at 18:11, Francis.Montagnac@inria.fr wrote:

This is a know issue: you rebooted slightly too early, during the
%post of the kmod-nvidia-KERNEL rpm that does this depmod.

The system-upgrade does the reboot and the user has no way to delay it.

It is, as you say, a known issue.

Running depmod usually fixes it.

Barry