+ CONFIG_HZ=200 for testing [do not merge]

"The higher freqences mean the faster serving of interrupts and the better interactivity of the system at the expence of the higher system overhead. When there is no much work to be done in the system, i.e. when there are no tasks in the running queue, servicing hundreds of timer interrupts per second seems a waste of CPU cycles and energy."