Support different kernel tick rates