mbed library sources with internal temperature sensor for nucleo f401

api/platform.h/shortlog@7e2bd16f80af: not found in manifest