The max GPU Freq on Xiaomi 13 Pro on the latest HyperOS 2.0 update maxes out at 580mhz. Even though there are higher options for 615 and 680mhz, I'm unable to set it at those values using EX Kernel Manager.