CONFIG_ARCH_CLPS711X is not available for thedefaultarchitecture 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