Hello,
After installation and first upgrade/update, I seem to have an issue with a newly downloaded kernel.
Symbol grub_register_command_lockdown not found 4.19.0.14-686
Usually I would have expected to be able to reverse to earlier kernels (if they exist) but nothing is listed in the advanced options, so nothing to go back to (and I did not do any autoremove or purge!).
Boot has its own 1GB partition where the kernel should go.
Any idea how to get the thing started?