vmrunkernel: change timer frequency to 1Khz