Yes, indeed, the packages should be kept but 01autoremove-kernels is generated by /etc/kernel/postinst.d/apt-auto-removal which is shipped by apt. Reassigning to apt.
Yes, indeed, the packages should be kept but 01autoremove- kernels is generated by /etc/kernel/ postinst. d/apt-auto- removal which is shipped by apt.
Reassigning to apt.