custom kernel for s4 mini (based on cm kernel)