Switch kernel and toolchain