Included prepatched kernels for Android 4.1 and CyanogenMod 10.1-based ROMs.