MaixDuino Overclock

Hi Community,
I want to ask you how I can overclock to 800mhz the k210 of my board maixduino.
thanks