Nuttx ./tools/configure.sh -l stm32f103-minimum/userled does not blink led.

Install nuttx and the stm32 toolchain. (You can follow Alan nuttx channel tutorials)
VERSION: NuttX-12.4.0-RC0
Run:
```
cd /home/juan/nuttxspace/nuttx
./tools/configure.sh -l stm32f103-minimum/userled
make -j4
openocd -f interface/stlink-v2.cfg -f target/stm32f1x.cfg -c init -c "reset halt" -c "flash write_image erase nuttx.bin 0x08000000"
picocom -b 115200 /dev/ttyUSB0
```
Then in nutshell press enter:
```
NuttShell (NSH) NuttX-12.4.0-RC0
nsh> ?
nsh> ls
nsh>
```
The leds program is not there, the board does not blink the led. All settings were verified in "make menuconfig"