kernel HZ to 1000