CONFIG_ARCH_CLPS711X is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CLPS711x/EP721x-based
modulename: clps711x-timer.ko
and/orclk-clps711x.ko
configname: CONFIG_ARCH_CLPS711X
ARM system type
└─>CLPS711x/EP721x-based