Comment 62 for bug 1211511

Peter: It looks like a very similar issue has been introduced when removing older kernels became available in update-manager. This is being tracked in bug 1783023, please see that for more information.