platform/stm32-e407/hal.c: clear IRQ_STATUS on init and on reset