I have an OrangePi PC with armbian installed on it. Today, probably because of my stupidity, the board couldn't boot after upgrading a bunch of stuff. When I opened the sd card on my pc, I found that there were no kernel files in /boot and there were broken symlinks. I tried to replace these with the files from the current minimal image armbian is available for the board, but encountered a UUID mismatch. I then used files from a september 2021 backup, which did allow me to boot into a functional system. It had Linux 5.10.43-sunxi. But before my attempts to fix the issue, my system had Linux 6.1.11-sunxi installed, so I am concerned about this mismatch and would like to safely remove the old kernel files and bring it back to 6.1.11, after which I would like to proceed updating the system to Bookworm (the system still says it's Armbian Buster).
How do I reinstall the linux kernel and initrd files in /boot and remove the files of other kernels in /boot?
I really want to keep this system going because I don't want to reconfigure and setup again everything that's running on it. Soon I'm getting a new Pi board which would be a proper replacement and for which I am willing to set up all the stuff again, to start clean.