diff --git a/configs/stm32f429i-disco/highpri/defconfig b/configs/stm32f429i-disco/highpri/defconfig
index dbe10430cc..a393099e43 100644
--- a/configs/stm32f429i-disco/highpri/defconfig
+++ b/configs/stm32f429i-disco/highpri/defconfig
@@ -9,6 +9,7 @@ CONFIG_ARCH_BOARD_STM32F429I_DISCO=y
 CONFIG_ARCH_BUTTONS=y
 CONFIG_ARCH_CHIP_STM32=y
 CONFIG_ARCH_CHIP_STM32F429Z=y
+CONFIG_ARCH_FPU=y
 CONFIG_ARCH_HIPRI_INTERRUPT=y
 CONFIG_ARCH_RAMVECTORS=y
 CONFIG_ARCH_STACKDUMP=y
@@ -47,6 +48,7 @@ CONFIG_STM32_ADC1_DMA_CFG=1
 CONFIG_STM32_ADC1_INJECTED_CHAN=1
 CONFIG_STM32_ADC_LL_OPS=y
 CONFIG_STM32_ADC_NOIRQ=y
+CONFIG_STM32_CCMEXCLUDE=y
 CONFIG_STM32_DISABLE_IDLE_SLEEP_DURING_DEBUG=y
 CONFIG_STM32_DMA2=y
 CONFIG_STM32_FSMC=y
diff --git a/net/procfs/netdev_statistics.c b/net/procfs/netdev_statistics.c
index 99415eb301..330bb26822 100644
--- a/net/procfs/netdev_statistics.c
+++ b/net/procfs/netdev_statistics.c
@@ -153,11 +153,13 @@ static int netprocfs_radio_linklayer(FAR struct netprocfs_file_s *netfile,
       len += snprintf(&netfile->line[len], NET_LINELEN - len,
                       "%02x", addr->nv_addr[0]);
 
+#if RADIO_MAX_ADDRLEN > 1  /* Avoids a warning */
       for (i = 1; i < addr->nv_addrlen; i++)
         {
           len += snprintf(&netfile->line[len], NET_LINELEN - len,
                           ":%02x", addr->nv_addr[i]);
         }
+#endif
     }
 
   return len;