This is just something I was trying out. We can specify our toolchain here instead of having to modify our $PATH. It has the advantage that we can run ```make ...``` directly in the ev3dev-kernel directory without having to mess with environment variables.