Build kernel with 4.9-linaro-a15 toolchain

Change-Id: I8639834dbbb21c47766a8fa12d3f5a3989d8e2bd