This is the stock Cyanogenmod smdk4412 kernel.