Revert "iprj: use default toolchain for kernel"

This reverts commit 78ffa39aca04d7bfdae696ae19da6cc72ffeb0a6.