Just in case anyone would need to run micropython on the ESP32-P4, you can get a build firmware from here:
https://codeberg.org/kerekesg/micropython-olimex-esp32-p4
AI helped me, but it works well on my Olimex ESP32-P4 board.
Thank you for this, I am sure someone will find it helpful!