New comment by Duncaen on void-packages repository https://github.com/void-linux/void-packages/issues/46006#issuecomment-1722271147 Comment: grub will pickup whatever kernel it finds when generating the configuration. Another successful kernel install/update/removal, a dkms module a install/update/removal or a grub update itself will all trigger the grub configuration to be regenerated. Changing grub doesn't work either since some users might boot a kernel without an initramfs.