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/14525

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

- Built on armv6l, armv7, and aarch64.

- Tested on armv6l and armv7l.

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