smdk4X12 Kernel