include cfg/smp.scc
include cfg/hpet.scc
include cfg/hz_1000.scc
kconf hardware x86.cfg