Check that all the interrupts invoked have the correct name

[hmathieu31]

As defined in the NVIC of the STM32 opposed to the interrupt name defined for the microchip

[emmanuel-pastor]

93