sc02c: switch to smdk4412jpn kernel