build kernel with 4.9-linaro optimized toolchain by default

Change-Id: I837a1d83f1e30f52a18871fbd636124c32cbc53f