This would be true if the resulting work were not a derivative work of the GPLed kernel. There's plenty of solid legal opinion that it is, and if you accept tha

This would be true if the resulting work were not a derivative work of the GPLed kernel. There's plenty of solid legal opinion that it is, and if you accept that then the GPL absolutely prevents distributing it in the form of a binary module.