platform/stm32-e407/hal.c: test atben interrupt (with lot of debug output)

This does nothing useful with it, just generates and then acknowledges it.
platform/stm32-e407/Makefile.stm32-e407: move setting of ARCH_FLAGS here

... until we agree on a proper place for it.