Mi4 full kernel source code question

Hi there. I am aware that partial kernel source code had been released for Mi4.

Is the full source code already available?

from xda-developers http://ift.tt/2bouoO4
via IFTTT