use regular toolchain to build kernel

Change-Id: I87ddc2bfb5965b5b2070e4cf7ba0b2c8b5784226