still use arm-eabi-4.7 as default kernel toolchain

Change-Id: Ic8f6fb5445aa48bad289660aba18940325f3b1e1