Make it easier to change the toolchain in the dualboot Makefile.