There's a merged pull request on the void-packages repository

linux5.4: Disable VFIO on arm*
https://github.com/void-linux/void-packages/pull/29768

Description:
hardware virtualization is unlikely on 32-bit arm targets, but if needed we can always turn it back on.