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

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

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