This is a sumary of the research I've been doing on this subject. This reflects to my best will what I think can be done according to the documentation I've found.
First at all, the Cortex M4 cores might be clocked around 167 MHz 200MHz
Second, I found the OMAP543x Technical Reference Manual...