# CONFIG_HZ_100 is not set