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

[DO NOT MERGE YET] linux: update to 5.1.
https://github.com/void-linux/void-packages/pull/12512
Description: @void-linux/pkg-committers any objections?

see also #11660