# CONFIG_HZ_500 is not set