smultron: change kernel toolchain