removed CONFIG_OPTIONS