Kernels incorrectly named, not showing up in GRUB menu

Support
,
8

Saw another user post about this the other day but I have no idea why it ended up like that.

Well, some idea, as it seems related to those ‘fix mkinitcpio’ scriptlets.

Oh yeah, it was a PM for some reason. Now it is not.