There is an updated pull request by leahneukirchen against master on the void-packages repository

https://github.com/leahneukirchen/void-packages linux513
https://github.com/void-linux/void-packages/pull/31835

New package: linux5.13-5.13.0
WIP, will queue until 5.13.1.

- [x] arm64-dotconfig
- [x] i386-dotconfig
- [ ] ppc-dotconfig
- [ ] ppc64-dotconfig
- [ ] 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.

A patch file from https://github.com/void-linux/void-packages/pull/31835.patch is attached