If some additional kernel modules got probed properly, let's add them to
the /etc/modules file unless it could be missing at reboot time.