# CONFIG_HZ_300 is not set