Removed the limitation that the boards file can not be changed in a multi configuration setup.
I did this as swapping arduino version is hard in this setup.
Not sure what the consequences will be but as we have a unstable version ...