Fixes nuttx target warning #1296

Job	Run time
Checks	5m 20s
Linux_x86-64_Build_Correctness_Debugger_Tests	4m 58s
Linux_x86-64_Build_Option_Tests	4m 12s
Linux_x86_cpointer-32bit_Build_Correctness_Tests	1m 41s
OSX_x86-64_Build_Correctness_Unit_Tests	5m 19s
OSX_x86-64_Build_Correctness_Unit_Tests_Debug	3m 6s
ASAN_Tests	3m 29s
ASAN_Tests_Debug	3m 23s
Clang_Unit_Build_Option_Tests	4m 29s
Conformance_Tests_ESNext	2m 14s
Conformance_Tests_ESNext_Debug_A	2m 4s
Conformance_Tests_ESNext_Debug_B	1m 24s
ESP_IDF_Build_Test	3m 51s
ESP8266_RTOS_SDK_Build_Test	1m 39s
Linux_AArch64_Tests	4m 31s
Linux_AArch64_Tests_Debug	6m 25s
Linux_ARMv7l_Tests	4m 33s
Linux_ARMv7l_Tests_Debug	6m 4s
MbedOS_K64F_Build_Test	1m 51s
NuttX_STM32F4_Build_Test	2m 1s
RIOT_STM32F4_Build_Test	51s
UBSAN_Tests	2m 12s
Unit_Tests	1m 47s
Zephyr_STM32F4_Build_Test	3m 2s
Notification	0s
	1h 20m 26s

Provide feedback