diff --git a/configs/stm32f429i-disco/src/stm32_boot.c b/configs/stm32f429i-disco/src/stm32_boot.c
index fd4d7fb23f9..763c1a8766b 100644
--- a/configs/stm32f429i-disco/src/stm32_boot.c
+++ b/configs/stm32f429i-disco/src/stm32_boot.c
@@ -97,32 +97,6 @@
 #  endif
 #endif
 
-/* Check if we will need to support the initialization kernel thread */
-
-#undef HAVE_INITTHREAD
-
-#ifdef CONFIG_BOARD_INITIALIZE
-#  if defined(CONFIG_NSH_LIBRARY) && !defined(CONFIG_LIB_BOARDCTL)
-#    define HAVE_INITTHREAD 1
-#  elif defined(HAVE_NXSTART)
-#    define HAVE_INITTHREAD 1
-#  elif defined(HAVE_TCINIT)
-#    define HAVE_INITTHREAD 1
-#  endif
-#endif
-
-#ifdef HAVE_INITTHREAD
-#  include <stdlib.h>
-#  include <assert.h>
-#  include <nuttx/kthread.h>
-#  ifndef CONFIG_STM32F429I_DISCO_BOARDINIT_PRIO
-#    define CONFIG_STM32F429I_DISCO_BOARDINIT_PRIO 196
-#  endif
-#  ifndef CONFIG_STM32F429I_DISCO_BOARDINIT_STACK
-#    define CONFIG_STM32F429I_DISCO_BOARDINIT_STACK 2048
-#  endif
-#endif
-
 /************************************************************************************
  * Public Functions
  ************************************************************************************/
@@ -198,17 +172,6 @@ void stm32_boardinitialize(void)
 #ifdef CONFIG_BOARD_INITIALIZE
 void board_initialize(void)
 {
-#ifdef HAVE_INITTHREAD
-  pid_t server;
-
-  /* Start the board initialization kernel thread */
-
-  server = kernel_thread("Board Init", CONFIG_STM32F429I_DISCO_BOARDINIT_PRIO,
-                         CONFIG_STM32F429I_DISCO_BOARDINIT_STACK, board_initthread,
-                         NULL);
-  ASSERT(server > 0);
-#endif
-
 #ifdef CONFIG_STM32F429I_DISCO_ILI9341_FBIFACE
   /* Initialize the framebuffer driver */