Kernels incorrectly named, not showing up in GRUB menu

[scarwire]

@Yochanan, I’ve replied over on the other thread.