New comment by dirkson on void-packages repository

https://github.com/void-linux/void-packages/issues/13360#issuecomment-756878635

Comment:
> We don't provide patched kernels.

As a quick correction to this issue for others that stumble across this, this is not correct - Many patched kernels are present in the current void-packages repo, primarily for supporting various specific hardware. E.g. rpi-kernel, beaglebone-kernel, etc.

It's not clear to me why these patched kernels are allowed into the repos, but not others. Maybe someone more knowledgeable than me can chime in?