stm32f4: add GPIOJ & GPIOK

They are available on STM32F429 and STM32F439.

lib/stm32/common/exti_common_all.c

@@ -135,6 +135,16 @@ void exti_select_source(uint32_t exti, uint32_t gpioport)
 		case GPIOI:
 			bits = 8;
 			break;
+#endif
+#if defined(GPIOJ) && defined(GPIO_PORT_J_BASE)
+		case GPIOJ:
+			bits = 9;
+			break;
+#endif
+#if defined(GPIOK) && defined(GPIO_PORT_K_BASE)
+		case GPIOK:
+			bits = 10;
+			break;
 #endif
 		}