Cyanogen S4 mini kernel