Don't fetch unused common kernel source code
Fetch Trebuchet launcher from Cyanogenmod