Fix error in 'update_repo' call
Added the new RawSerial.h in mbed.h