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

New package: linux5.1-5.1.0
https://github.com/void-linux/void-packages/pull/11539
Description: [skip ci]