Sorry for this OT discussion, just to explain my comment:
I had to "dpkg --force-depends -r linux-image-4.18.0-14-generic" because otherwise dpkg did not allow me to install the "unsigned" package from the link above. Now apt tells me, that the dependencies are borked and I need to use "--fix-broken" and that then tells me it needs to remove the "unsigned" kernel and reinstall the one that caused the issue in this bug.
Anyhow. I'll wait for a kernel-update on my on computer and then will manually fix/update the packages on my fathers machine.
Sorry for this OT discussion, just to explain my comment:
I had to "dpkg --force-depends -r linux-image- 4.18.0- 14-generic" because otherwise dpkg did not allow me to install the "unsigned" package from the link above. Now apt tells me, that the dependencies are borked and I need to use "--fix-broken" and that then tells me it needs to remove the "unsigned" kernel and reinstall the one that caused the issue in this bug.
Anyhow. I'll wait for a kernel-update on my on computer and then will manually fix/update the packages on my fathers machine.