change kernel source and toolchain to use