linux_dsm_epyc7002/arch/x86/configs
..
i386_defconfig
tiny.config
x86_64_defconfig
xen.config