Comment 6 for bug 1990624

You could try opening a bug for the linux package (https://launchpad.net/ubuntu/+source/linux), but I'm not sure it is a bug exactly. Other tools like depmod may add files to /lib/modules/$version, which causes apt to not remove the /lib/modules/$version directory so that it does not accidentally delete data the user did want deleted.