Really the underlying problem here is that their software is loading external data into their kernel driver and not correctly sanitising their inputs
Of course we didn't have had any third party loading code into our boxes out of our control (and we run linux)