smdk5250 android kernel