This is intentional. Having the kernel source in the android manifest
caused large downloads that few people needed, was not scalable, and
caused some confusion.
JBQ
--
Jean-Baptiste M. "JBQ" Queru
Software Engineer, Android Open-Source Project, Google.
Questions sent directly to me that have no reason for being private
will likely get ignored or forwarded to a public forum with no further
warning.