tripndroid 3.1.10 kernel based on htc sources