Increase system tick frequency to 10 KHz.