New comment by ackalker on void-packages repository

https://github.com/void-linux/void-packages/issues/13133#issuecomment-511453524
Comment:
I think the logic in the kernel scripts for this package may need some reworking to fix this reliably. It all depends on whether we should create boot entries for all installed kernels (which might hit some limit on maximum number of boot entries in some UEFI implementations) or support only one kernel per `major.minor` series.
Perhaps create another configuration variable in `/etc/default/efibootmgr-kernel-hook` to switch between these 2 behaviours, defaulting to the current behaviour of maintaining one menu entry per kernel `major.minor` series.