include cfg/efi.scc
include cfg/smp.scc
include cfg/hpet.scc
include cfg/no_hz.scc
include cfg/hz_1000.scc
kconf hardware x86_64.cfg