Use kernel/htc/espmartin-htc7x30-3.0 (build with 4.8 toolchain)