Kernel for SMDK4x12 devices (Mixtile Garage and s702) based on Omni SMDK4412