diff --git a/platforms/nuttx/src/px4/microchip/microchip_common/include/px4_arch/device_info.h b/platforms/nuttx/src/px4/microchip/microchip_common/include/px4_arch/device_info.h
index ee7d3782197c..8b66d12593f2 100644
--- a/platforms/nuttx/src/px4/microchip/microchip_common/include/px4_arch/device_info.h
+++ b/platforms/nuttx/src/px4/microchip/microchip_common/include/px4_arch/device_info.h
@@ -33,7 +33,7 @@
 
 #pragma once
 
-#include <image_toc.h>
+#define IMAGE_NUM_TYPES 4
 
 typedef struct __attribute__((__packed__))
 {