board/hyperdebug: Correct TX/RX naming
TX/RX on the console pins had been flipped in the GPIO list.  (Not that
they are used for GPIO very often.)
Tested-by: Jes Klinke
@@ -118,8 +118,8 @@ GPIO_INT(CN10_33, PIN(E, 0), GPIO_INPUT | GPIO_INT_BOTH, gpio_edge)
GPIO_INT(CN10_34, PIN(B, 11), GPIO_INPUT | GPIO_INT_BOTH, gpio_edge)
/* These pins are used for USART and are set to alternate mode below */
-GPIO_INT(LPUART1_HYPER_RX, PIN(G, 7), GPIO_ALTERNATE | GPIO_INT_BOTH, gpio_edge)
-GPIO_INT(LPUART1_HYPER_TX, PIN(G, 8), GPIO_ALTERNATE | GPIO_INT_BOTH, gpio_edge)
+GPIO_INT(HYPER_CONSOLE_TX, PIN(G, 7), GPIO_ALTERNATE | GPIO_INT_BOTH, gpio_edge)
+GPIO_INT(HYPER_CONSOLE_RX, PIN(G, 8), GPIO_ALTERNATE | GPIO_INT_BOTH, gpio_edge)
/* USB pins */
GPIO(USB_FS_DM, PIN(A, 11), GPIO_ALTERNATE)
