New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/42160#issuecomment-1483834829

Comment:
Should I patch grub as e.g. Debian does?