New comment by Hoshpak on void-packages repository https://github.com/void-linux/void-packages/issues/15882#issuecomment-548246972 Comment: Probably not. It would most likely have run into another error or the resulting kernel module wouldn't have worked. A kernel module has to be compiled with the same compiler the kernel was compiled with. It currently looks like that alternative is being removed in #15968 because it causes more trouble than it's worth it.