New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/13005#issuecomment-541447124

Comment:
This is solved for now with the update by creating a dummy `${wrksrc}/gnu/stubs-32.h` empty file.