Use arm-eabi-4.9 for compiling SlimKernel

Change-Id: I14b79d6dfc0f29f33e2aed6257cedfe5e6cc57b5