Linux/DRA72: Enable DSP, and set its frequency to 1000MHz

Tool/software: Linux

Hi TIs:

If our customer ask us to enable DSP, and set its frequency to 1000MHz

Is it over spec? 

If not, why i can't find this opp in the uboot ? 

I only find three opps, opp_high(750MHz), opp_od(700MHz), and opp_nom(600MHz)

And in the TI website, http://www.ti.com/product/DRA72, I found the DSP in DRA72, the max frequency is 750MHz, it is the same as the setting in uboot

Is our customer's ask over spec??

thank you

Kenny