# CONFIG_M586TSC is not set