Fixes nuttx target warning #4331

Job	Run time
Linux_x86-64_Build_Correctness_Debugger_Tests	4m 58s
Linux_x86_cpointer-32bit_Build_Correctness_Tests	1m 44s
ASAN_Tests_Debug	3m 37s
Clang_Unit_Build_Option_Tests	4m 14s
ASAN_Tests	3m 36s
Checks	5m 13s
Conformance_Tests_ESNext	2m 13s
Conformance_Tests_ESNext_Debug_A	2m 7s
Conformance_Tests_ESNext_Debug_B	1m 20s
ESP_IDF_Build_Test	3m 32s
ESP8266_RTOS_SDK_Build_Test	1m 33s
Linux_AArch64_Tests	4m 20s
Linux_AArch64_Tests_Debug	6m 35s
Linux_ARMv7l_Tests	4m 28s
Linux_ARMv7l_Tests_Debug	6m 0s
Linux_x86-64_Build_Option_Tests	4m 24s
MbedOS_K64F_Build_Test	1m 26s
NuttX_STM32F4_Build_Test	2m 34s
OSX_x86-64_Build_Correctness_Unit_Tests	3m 22s
OSX_x86-64_Build_Correctness_Unit_Tests_Debug	3m 25s
RIOT_STM32F4_Build_Test	56s
UBSAN_Tests	2m 15s
Unit_Tests	1m 47s
Zephyr_STM32F4_Build_Test	3m 0s
Notification	0s
	1h 18m 39s

Provide feedback