Use cmake to build for the mbed platform