diff --git a/platforms/nuttx/nuttx-configs/px4-stm32f4discovery/nsh/defconfig b/platforms/nuttx/nuttx-configs/px4-stm32f4discovery/nsh/defconfig
index 6fcec867fef325b1075aa059b43fa4d624122646..5b2c57f2df1e393cef65fa7740094dff4d1a72b4 100644
--- a/platforms/nuttx/nuttx-configs/px4-stm32f4discovery/nsh/defconfig
+++ b/platforms/nuttx/nuttx-configs/px4-stm32f4discovery/nsh/defconfig
@@ -607,7 +607,7 @@ CONFIG_ARCH_HAVE_MPU=y
 CONFIG_ARCH_HAVE_RESET=y
 # CONFIG_ARCH_HAVE_RTC_SUBSECONDS is not set
 # CONFIG_ARCH_USE_MPU is not set
-CONFIG_ARCH_IRQPRIO=y
+# CONFIG_ARCH_IRQPRIO is not set
 CONFIG_ARCH_STACKDUMP=y
 # CONFIG_ENDIAN_BIG is not set
 # CONFIG_ARCH_IDLE_CUSTOM is not set
@@ -628,7 +628,7 @@ CONFIG_BOARD_LOOPSPERMSEC=16717
 CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
 CONFIG_ARCH_INTERRUPTSTACK=750
 CONFIG_ARCH_HAVE_HIPRI_INTERRUPT=y
-CONFIG_ARCH_HIPRI_INTERRUPT=y
+# CONFIG_ARCH_HIPRI_INTERRUPT is not set
 
 #
 # Boot options