diff --git a/libraries/AP_HAL_ChibiOS/hwdef/fmuv3/hwdef.dat b/libraries/AP_HAL_ChibiOS/hwdef/fmuv3/hwdef.dat
index d41706be35..c72ac083f1 100644
--- a/libraries/AP_HAL_ChibiOS/hwdef/fmuv3/hwdef.dat
+++ b/libraries/AP_HAL_ChibiOS/hwdef/fmuv3/hwdef.dat
@@ -103,8 +103,8 @@ FLASH_SIZE_KB 2048
 # serial device name, and must be for a serial device for which pins
 # are defined in this file. For example, SD7 is for UART7 (SD7 ==
 # "serial device 7" in ChibiOS).
-STDOUT_SERIAL SD7
-STDOUT_BAUDRATE 57600
+#STDOUT_SERIAL SD7
+#STDOUT_BAUDRATE 57600
 
 # now the USB setup, if you have USB. All of these settings are
 # option, and the ones below are the defaults. It ends up creating a
@@ -144,7 +144,7 @@ I2C_ORDER I2C2 I2C1
 # 6) SERIAL5: extra UART (usually RTOS debug console)
 
 # order of UARTs (and USB)
-UART_ORDER OTG1 UART4 USART2 USART3 UART8
+UART_ORDER OTG1 UART4 USART2 USART3 UART8 UART7
 
 # if the board has an IOMCU connected via a UART then this defines the
 # UART to talk to that MCU. Leave it out for boards with no IOMCU
@@ -362,9 +362,7 @@ PE6 SPI4_MOSI SPI4
 # timing affecting sensor stability. We pull it high by default
 PE3 VDD_3V3_SENSORS_EN OUTPUT HIGH
 
-
-# another uart for debug console. Currently only available via printf()
-# UART7 debug console
+# UART7 maps to uartF in the HAL (serial5 in SERIALn_ parameters)
 PE7 UART7_RX UART7
 PE8 UART7_TX UART7
 
@@ -481,4 +479,3 @@ define HAL_I2C_MAX_CLOCK 100000
 # we can't share IO UART (USART6)
 DMA_NOSHARE USART6_TX USART6_RX
 DMA_PRIORITY USART6* TIM* SPI*
-