platform/stm32-e407/hal.c (hal_init): don't reconfigure the interrupt polarity