I'm encountering an issue where the espidf MicroPython module is not generated during the normal build process documented in lv_micropython repo.

Steps to Reproduce (under lv_micropython repo root directory):

1. Run the following command:
   make -C ports/esp32 BOARD=ESP32_GENERIC_C6 LV_CFLAGS="-DLV_COLOR_DEPTH=16" PORT=/dev/ttyACM0 deploy
2. Attempt to import the module in MicroPython:
   from ili9XXX import st7789
3. This results in:

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "ili9XXX.py", line 19, in <module>
ImportError: no module named 'espidf'

Additional Context:

I attempted to generate the bindings using the gen_mpy.py tool manually by passing hundreds of include flags, but I encountered dependency issues (e.g., missing headers) and the process still failed to produce the complete module.

It appears that the espidf module is not being generated as expected. is there any other way to use st7789 display?

Request:

1. Is there a build option or flag within the default build system that ensures the espidf MicroPython module is generated?
2. Alternatively, can the generation of the espidf module be integrated into the standard build process (i.e., via the make command above) without needing to manually invoke gen_mpy.py?

Any guidance or fixes would be greatly appreciated, as manual generation with gen_mpy.py has proven to be error-prone due to the large number of dependencies.