nels83 is probably the only dev that could, also the 3830 kernel source has finally been released, it was a big set back waiting over a year for kernel source.
I used the kernel source to build myself a custom kernel and when time allows I will ...
I've done that a few times, seems to work when I connect it to the pc and wait for the sounds holding power and then volume down when I hear it connect.
What seemed to work for me was advanced restore of backed up cache.
I'm in recovery now...