diff --git a/nuttx/configs/px4io-v1/Kconfig b/nuttx/configs/px4io-v1/Kconfig
index 331bbb0dab..fbf74d7f0d 100644
--- a/nuttx/configs/px4io-v1/Kconfig
+++ b/nuttx/configs/px4io-v1/Kconfig
@@ -5,16 +5,16 @@
 
 if ARCH_BOARD_PX4IO_V1
 
-config CONFIG_HRT_TIMER
+config HRT_TIMER
 	bool "High resolution timer support"
 	default y
 	---help---
 		Enable high resolution timer for PPM capture and system clocks.
 
-config CONFIG_HRT_PPM
+config HRT_PPM
 	bool "PPM input capture"
 	default y
-	depends on CONFIG_HRT_TIMER
+	depends on HRT_TIMER
 	---help---
 		Enable PPM input capture via HRT (for CPPM / PPM sum RC inputs)
 
diff --git a/nuttx/configs/px4io-v1/common/Make.defs b/nuttx/configs/px4io-v1/common/Make.defs
index 7f782b5b22..74b183067c 100644
--- a/nuttx/configs/px4io-v1/common/Make.defs
+++ b/nuttx/configs/px4io-v1/common/Make.defs
@@ -63,10 +63,6 @@ ARCHCPUFLAGS		 = -mcpu=cortex-m3 \
 			   -mthumb \
 			   -march=armv7-m
 
-# enable precise stack overflow tracking
-#INSTRUMENTATIONDEFINES	 = -finstrument-functions \
-#			   -ffixed-r10
-
 # use our linker script
 LDSCRIPT		 = ld.script
 
diff --git a/nuttx/configs/px4io-v1/nsh/defconfig b/nuttx/configs/px4io-v1/nsh/defconfig
index 2168c79b24..5256722333 100755
--- a/nuttx/configs/px4io-v1/nsh/defconfig
+++ b/nuttx/configs/px4io-v1/nsh/defconfig
@@ -94,7 +94,7 @@ CONFIG_ARCH_DMA=y
 CONFIG_ARCH_MATH_H=y
 
 CONFIG_ARMV7M_CMNVECTOR=y
-CONFIG_ARMV7M_STACKCHECK=y
+# CONFIG_ARMV7M_STACKCHECK is not set
 
 #
 # JTAG Enable settings (by default JTAG-DP and SW-DP are disabled):