Hello,I would like to configure PA11 as an EXTI pin. I know that there exists the hardware limitation that there cannot exist two pins with the same pin number in different ports configured as an EXTI pin (I.E., I could not configure both PB11 and PA...