3.1.10 kernel sources for the AOSP 4.2.1 HTC One X port