The problem seems to be solved. I just added the code (adapted to my settings) from the HRM page 6-38, followed by a short delay and then I used the adi_pwr_GetFreq() to get the values.
The frequencies I get now, are fcclk=fvco=400MHz and fsclk=100MHz