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

kodi-rpi: Add PATH for firmware binaries
https://github.com/void-linux/void-packages/pull/14407

Description:
Modfiy PATH variable to add raspberry's firmware tools.
This is needed for "Turn Off" screensaver, which uses vcgencmd