# CONFIG_SCx200 is not set