New review comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/39796#discussion_r1649739386 Comment: you can change BOOT to /boot/efi in line 4, and it should work as well. I use /boot, which is also totally fine.