MaixDuino Overclock

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

I am wondering too, searched the internet but only find references to it in descriptions and review articles, but never how it can be done. Did you ever figure out how?