Build kernel with default toolchain

Change-Id: Idea3e6a348f2c6d8f47040c929b2fb39e788d6fc