BoardConfig: use arm-eabi-4.9 for kernel

Change-Id: I4c00817fdf13c73dcde020bc9924526df0dd0de2