New review comment by Dko1905 on void-packages repository

https://github.com/void-linux/void-packages/pull/29780#discussion_r703632461

Comment:
>Note that grub expects the ESP to be mounted in /boot/EFI, but efibootmgr expects it >to be mounted in /boot, hence they cannot easily coexist.
Where do you know this from? I've not encountered any such problems and the default placement of the non .efi kernel is still on `/boot`. 
>Copying the kernel to the ESP partition (with the .efi suffix) would solve both problems.
Could you explain it in more details?