build kernel with Christopher83's toolchain inline

Change-Id: I3d0f536ad36b342b67c97117a5bf1ba91b086f8a