diff --git a/boards/px4/fmu-v4pro/nuttx-config/Kconfig b/boards/px4/fmu-v4pro/nuttx-config/Kconfig
index 90db796740..64b6217c0c 100644
--- a/boards/px4/fmu-v4pro/nuttx-config/Kconfig
+++ b/boards/px4/fmu-v4pro/nuttx-config/Kconfig
@@ -20,3 +20,9 @@ config BOARD_USE_PROBES
 		Select to use GPIO FMU-CH1-6 to provide timing signals from selected drivers.
 
 endif
+
+# Hack to ensure ARCH_MATH_H is kept
+config BOARD_HAVE_MATH_H
+	bool "Provide ARCH math.h (selects ARCH_HAVE_MATH_H)"
+	default y
+	select ARCH_HAVE_MATH_H
diff --git a/boards/px4/fmu-v4pro/nuttx-config/drivers/Kconfig b/boards/px4/fmu-v4pro/nuttx-config/drivers/Kconfig
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/boards/px4/fmu-v4pro/nuttx-config/nsh/defconfig b/boards/px4/fmu-v4pro/nuttx-config/nsh/defconfig
index 3656e26f3c..d04e3e9bee 100644
--- a/boards/px4/fmu-v4pro/nuttx-config/nsh/defconfig
+++ b/boards/px4/fmu-v4pro/nuttx-config/nsh/defconfig
@@ -23,8 +23,11 @@
 # CONFIG_NSH_DISABLE_TIME is not set
 # CONFIG_STM32_CCMEXCLUDE is not set
 CONFIG_ARCH="arm"
+CONFIG_ARCH_BOARD_CUSTOM=y
 CONFIG_ARCH_BOARD_CUSTOM_DIR="../nuttx-config"
+CONFIG_ARCH_BOARD_CUSTOM_DIR_RELPATH=y
 CONFIG_ARCH_BOARD_CUSTOM_NAME="px4"
+CONFIG_ARCH_CHIP="stm32"
 CONFIG_ARCH_CHIP_STM32=y
 CONFIG_ARCH_CHIP_STM32F469I=y
 CONFIG_ARCH_INTERRUPTSTACK=512