(In which case, I think this still warrants improvement, since AIUI the next run of update-manager will do removals after installations, which means a high water mark of 4 kernels rather than 3 which is what we want)
(In which case, I think this still warrants improvement, since AIUI the next run of update-manager will do removals after installations, which means a high water mark of 4 kernels rather than 3 which is what we want)