Kernel for CyanogenMod 10.0 and 10.1 [HTC Wildfire S] [Marvel]