kernel: don't use a special toolchain

Change-Id: Id4784348fd16bf7ff90222c6f1cfcf68755a65f6