To actually use the exti module, you need to enable the exti feature flag, which is as far as I can tell not documented in https://docs.embassy.dev/embassy-stm32/git/stm32h723zg/index.html