define KFEATURE_DESCRIPTION "HPET Timer Support"
define KFEATURE_COMPATIBILITY arch

kconf hardware hpet.cfg