diff --git a/boards/Kconfig b/boards/Kconfig
index cc91f727186..6a381363e52 100644
--- a/boards/Kconfig
+++ b/boards/Kconfig
@@ -3733,7 +3733,7 @@ config ARCH_BOARD
 	default "adafruit-qt-py-rp2040"        if ARCH_BOARD_ADAFRUIT_QT_PY_RP2040
 	default "waveshare-rp2040-lcd-1.28"    if ARCH_BOARD_WAVESHARE_RP2040_LCD_1_28
 	default "raspberrypi-pico-2"           if ARCH_BOARD_RASPBERRYPI_PICO_2
-	default "raspberrypi-pico-2-rv"  if    ARCH_BOARD_RASPBERRYPI_PICO_2_RV
+	default "raspberrypi-pico-2-rv"        if ARCH_BOARD_RASPBERRYPI_PICO_2_RV
 	default "xiao-rp2350"                  if ARCH_BOARD_XIAO_RP2350
 	default "pimoroni-pico-2-plus"         if ARCH_BOARD_PIMORONI_PICO_2_PLUS
 	default "w5500-evb-pico"               if ARCH_BOARD_W5500_EVB_PICO