Private sources for KitKat kernel development