Custom kernel based on Cyanogenmod's smdk4412 kernel