use new kernel sources without custom toolchain