hw/misc: Add the STM32F4xx EXTI device