New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/12045#issuecomment-497672003
Comment:
I think that for the improbable case the grub PR would break it for people running Void + Mac OS X on x86_64 hardware we would see them open an issue. IMO the two PRs are good to merge.