Yes the new kernel is open source; it's the play store and perhaps other bits of the full OS they'll hang on to.