BoardConfig: use arm-eabi-4.9 for kernel

Change-Id: Iea48fcff9e206cf58bce372f6f4be7a0c07b1ea4