CONFIG_ARCH_CLPS711X is not available for the selected architecture x86.
Result is shown for architecture arm

CLPS711x/EP721x-based

modulename: clps711x-timer.ko

and/or

clk-clps711x.ko

configname: CONFIG_ARCH_CLPS711X

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

depends
 or CONFIG_ARCH_MULTI_V4T