NuttX does support multi-core Cortex-A7 and it does support Cortex-M4 so all of the technology is in place to support a NuttX port to the STM32MP1.
Historically, however, NuttX has not been popular well on platforms designed for Linux support. After all, if you have the resources to run Linux, then why would you not use Linux? Sure, you could get by with fewer resources with NuttX, but I think most people feel that features offered by Linux outweigh the cost of the additional resources.
A NuttX Cortex-M4-only STM32MP1 would probably be a pretty easy thing. But it is not a very satisfying project working with one of the many CPUs available. And the CPUs are not independent of each other: They share some start-up philosophy and must cooperate to be usable. Most of the complexity would be in the AMP design to interact with the Cortex-A7's. You would have to either adopt a standard like OpenAMP, or else have control of both sides of the interface. Coordinating that with a separate Linux project would be a pain in the ass.
This chip is not so different then others in the i.MX family and no one has ever shown interest in NuttX with those.
So, it is hard to ignore a new STM32 family, but I don't see anyway to go forward with this one.