kernel_htc_leo for JB-4.3.1 with marc1706 base