There is an updated pull request by the-maldridge against master on the void-packages repository

https://github.com/the-maldridge/void-packages disarmed-vfio
https://github.com/void-linux/void-packages/pull/29768

linux5.4: Disable VFIO on arm*
hardware virtualization is unlikely on 32-bit arm targets, but if needed we can always turn it back on.

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