So you're saying we could have a kernel module that we could insert that would patch the kernel and add the missing functionality? That would be really nice. It wouldn't be so nice if you have to disable or replace stock modules, though, because, yeah, that leads back to the problems of flashing a new kernel.
But this is all academic until someone figures out why the device reboots under load.