Earlier quoted context omitted.
Those are technically GPL violations, but kernel devs haven't (yet) complained much.
That is absolutely not the community consensus. Linus and the kernel community as a whole have taken the position that this is specifically allowed by the GPL as using a public interface isn't creating a derivative work.
https://en.wikipedia.org/wiki/Linux_kernel#Loadable_kernel_m...
https://en.wikipedia.org/wiki/Loadable_kernel_module#License...