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.