Switch kernel toolchain

Change-Id: Idc4dbd27abd7a023c269f7b4af92ef529b0d8dd9