If you have decent perf with your apps on it, I would say it's fine. 64KHz seems a display bug more than a real number to me. On my Dell R620 I have Avg freq 2473030 KHz.