custom samsung s4 mini kernel for stock roms. based on arco68's stock kernel.