Hi! Would it be possible to open source the GX3211 driver or give me access to documentation so I can write the open source driver myself? If not, could you publish a binary `.ko` driver that works with a modern 4.x or later kernel? Thank you :)