Hello All. Who has a board equipped with a RK3588 CPU? I need to check the cpll frequency. Now on my system (by clk_dump) this is 750 MHz, although it should be 1.5 GHz, otherwise all other frequencies are divided by 2, which is critical for network interfaces, for example... Can anyone test this? Thanks!