Certain scenarios with Clock Generator do not produce the expected clock frequencies.
This problem has been fixed in clock_generator_v2_01_a, which is in the latest EDK 10.1 Service Pack, available at:
http://www.xilinx.com/xlnx/xil_sw_updates_home.jsp
The first service pack containing the fix is EDK 10.1 Service Pack 2.