# CONFIG_HZ_250 is not set