To add one of these to your overall Android repository scheme, you add the appropriate kernel repository
to your local_manifest.xml file. (???)

Note that when you download the rest of the Android source code, using the 'repo'
command, you do NOT automatically get a kernel tree included. (That is, a kernel
git tree is not referenced in the default Android manifest file, when you use
repo following the instructions at http://source.android.com/download