New comment by the-maldridge on void-packages repository

https://github.com/void-linux/void-packages/pull/15908#issuecomment-548674346

Comment:
@Piraty lgtm.  Feel free to merge it when the builders are next free.  As I write this they're building two kernels, so I'll hold off merging right now.