[BUG] Duktape crashes while you try to start it after interrupting it with ctrl+c.

### Description / Steps to reproduce the issue

* Have Linux
* Have kconfig-frontend and xtensa toolchain installed and in path.
* Have a ESP32 connected to /dev/ttyUSB0
* `git clone https://git.owlcode.tech/sergiotarxz/nuttx-reproduce-duktape-bug bug --recursive`
* `cd bug`
* `bash build.sh`

This script should flash in your esp32 the faulty image, once it finishes connect to the serial port.

(Sorry if I am missing something out, I just started playing with nuttx yesterday, the OS is very cool, thanks for your work)

* `minicom -D /dev/ttyUSB0`
* `duk js/hello.js`
* Press ctrl+c once it is printing
* `duk js/hello.js`
* The board crashes.

### On which OS does this issue occur?

[OS: Linux]

### What is the version of your OS?

Gentoo

### NuttX Version

12.7

### Issue Architecture

[Arch: arm64]

### Issue Area

[Area: Interpreters]

### Verification

- [X] I have verified before submitting the report.