The kernel source was at http://android.git.kernel.org/ but that server was subsequently destroyed in an unrelated incident and at this point you'd need a time machine to verify that it was really there and hasn't just been backdated, but yeah, it was available.