GANDALFSEDY: Jop, teď jsem aktualizoval systém, tak snad jo. Chová se to stejně.
Teda provedl jsem aktualizaci pomocí sudo apt-get update a sudo apt-get dist-upgrade.
Na netu je psáno:" The kernel and firmware are installed as a Debian package, and so will also get updates when using the procedure above. These packages are updated infrequently and after extensive testing."
Takže nepředpokládám, že bych musel řešit jiný postup, ale rád se nechám případně poučit.