>Isn't the correct CPU speed important for the kernel

Yes, but mostly in the drivers. And 10% probably won't break anything. But one never knows..