So What?

Even if binary kernel modules were to be banned with immediate effect, it would not (or should
not) be a 'bolt out of the blue'. Binary modules already taint any kernel which uses them, and
the issue of EXPORT_SYMBOL_GPL is by no means new. So the complete ban of binary modules would
just be an extension of the way things have been progressing for the last few years and not a
'bolt out of the blue'.