BoardConfig: use linaro-4-9_a15 for kernel

Change-Id: I268f71b2241486020b019b4984fb62b251d89358