CONFIG_RS780_HPET is not available for thedefaultarchitecture x86.
Result is shown for architecture mips

RS780/SBX00 HPET Timer

modulename: hpet.ko

configname: CONFIG_RS780_HPET

Linux Kernel Configuration
└─>RS780/SBX00 HPET Timer
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This option enables the hpet timer of AMD RS780/SBX00.

If you want to enable the Loongson3 CPUFreq Driver, Please enable
this option at first, otherwise, You will get wrong system time.

If unsure, say Yes.

source code: