CONFIG_ARCH_CLPS711X is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Cirrus Logic CLPS711x/EP721x-based

modulename: clps711x-timer.ko

and/or

clk-clps711x.ko

configname: CONFIG_ARCH_CLPS711X

ARM system type
└─>Cirrus Logic CLPS711x/EP721x-based
In linux kernel since version 2.6.12  
Support for Cirrus Logic 711x/721x based boards.