At least Software Updater could point user to the Ubuntu Community Help Wiki page about kernel removing: https://help.ubuntu.com/community/RemoveOldKernels
At least Software Updater could point user to the Ubuntu Community Help Wiki page about kernel removing: https:/ /help.ubuntu. com/community/ RemoveOldKernel s