avoid duplicated NVIC entries for STM32F4

Fixes #15