5492537
Remove old kernels with new bootloader (#633234) This fixes 0783c488cdda8e7157511df1365ccc5ec95a2d33 so that old kernels are removed only when a new bootloader is installed, but not for a bootloader upgrade.