CONFIG_MIPS_EXTERNAL_TIMER is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
CONFIG_MIPS_EXTERNAL_TIMER (not configurable)
configname: CONFIG_MIPS_EXTERNAL_TIMER
Linux Kernel Configuration
└─>MIPS_EXTERNAL_TIMER