fix PHC tick setting with user HZ different from 100