CMake: Use Mbed OS path variable provided by mbed_config.cmake

[hugueskamba]

The tools has been updated to provide the path to the local Mbed OS program using a CMake variable.