mbed library sources with internal temperature sensor for nucleo f401

hal/gpio_irq_api.h/shortlog@7e2bd16f80af: not found in manifest