Mbed CLI2 config

No. Neither the mbed-tools configure nor the mbed-tools compile command changes the MBED_PATH in that file when the --mbed-os-path option is used. I have tried to set it manually by editing the CMakeList.txt file, but still no joy.