CONFIG_RS780_HPET is not available for the selected architecture 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: