Use tip of dev toolchain & kernel