New comment by ILadis on void-packages repository

https://github.com/void-linux/void-packages/issues/26257#issuecomment-724240467

Comment:
I dont' want to compile a package but rather build another/external kernel module for the current available kernel. I'd compare that with having to install a `devel` package in order to include its header files an compile it against the available system library.

I'd also like to mention that I could compile the kernel scripts with the `rpi-kernel-headers-4.19.127` just fine.