There is a new pull request by pbui against master on the void-packages repository

https://github.com/pbui/void-packages rpi-kernel
https://github.com/void-linux/void-packages/pull/14296

rpi-kernel: update to 4.19.71.
[ci skip]

- Built on armv6l, armv7l, and aarch64.
- Tested on armv6l and armv7l.

A patch file from https://github.com/void-linux/void-packages/pull/14296.patch is attached