There's a merged pull request on the void-packages repository

add patches to fix kernels on ppc64 BE with gcc9
https://github.com/void-linux/void-packages/pull/12815
Description: See the comment in the patches for rationale. This will be reported and hopefully fixed upstream, for now we need a workaround, this one is fortunately pretty simple.