cyanogenmod and ubuntu touch kernel directory