BoardConfig: use arm-eabi-4.9 for kernel

Change-Id: I268f71b2241486020b019b4984fb62b251d89358