Kernel repository is now called "android-kernel"