You're looking at bootloaders, not kernels; you need to enroll the kernel with one of those bootloaders. Usually running sudo update-grub
while in the OS will automatically detect and add any available kernels to the default version of GRUB.
If you can't boot into the OS, you can select the kernel manually from the GRUB command line: https://www.unix-ninja.com/p/Manually_booting_the_Linux_kernel_from_GRUB
https://framatube.org/w/9dRFC6Ya11NCVeYKn8ZhiD