See /usr/share/doc/efibootmgr/README.voidlinux for instructions on
using efibootmgr to automatically manage EFI boot entries.