My question is:
Do I just add the two entries for my custom kernel to /boot/grub/grub.cfg
and then do update-grub? Or do I edit something in /etc/default/grub? Or do I edit /etc/grub.d? Or do I follow this advise:
The user can create a custom file in which the user can place his own menu entries. This file will not be overwritten. By default, a custom file named 40_custom is available for use in the /etc/grub.d folder.
Basically, since I had already moved my kernels and initramfs to /boot, all I needed to do was run update-grub (which I had installed earlier using yay from AUR since it is not packaged along with AL. If you don’t want that, you can just use grub-mkconfig directly.
Thanks all the same folks! Drink a few beers for me.