javispedro has put in a request for the kernel source, we should have an open pr1.2 kernel soon. I suspect we'll need to reflash however.