I sent an email to the design team asking them to confirm the minimum MPU operating frequency that was formally verified.
I will update this post when the design team answers this question. However, it may take a few days to get an answer.
Regards,
Paul