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

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

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

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