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

New package: linux5.13-5.13.0
https://github.com/void-linux/void-packages/pull/31835

Description:
WIP, will queue until 5.13.1.

- [x] arm64-dotconfig
- [x] i386-dotconfig
- [x] ppc-dotconfig
- [x] ppc64-dotconfig
- [x] ppc64le-dotconfig
- [x] x86_64-dotconfig

I had to remove `include/config/dvb` but the headers seem to be in `drivers/media/dvb-frontends` anyway, if someone knows how to test that help is welcome.