HTC Sense 4 kernel port