-#- *** FILE: drivers/gpio/Kconfig ***
-#-
-GPIO_STA2X11 all=y
-
-#-
-#- *** FILE: drivers/iommu/Kconfig ***
-#-
-AMD_IOMMU x86_64=y
-AMD_IOMMU_STATS x86_64=n
-
-#-
-#- *** FILE: drivers/media/pci/sta2x11/Kconfig ***
-#-
-STA2X11_VIP all=m
-
-#-
-#- *** FILE: drivers/media/radio/Kconfig ***
-#-
-#- file drivers/media/radio/si470x/Kconfig goes here
-#- file drivers/media/radio/si4713/Kconfig goes here
-#- file drivers/media/radio/wl128x/Kconfig goes here
-V4L_RADIO_ISA_DRIVERS all=y
-
-#-
-#- *** FILE: drivers/net/ethernet/cirrus/Kconfig ***
-#-
-NET_VENDOR_CIRRUS all=y
-CS89x0_PLATFORM all=y
-
-#-
-#- *** FILE: drivers/staging/comedi/Kconfig ***
-#-
-COMEDI_ISA_DRIVERS all=y
-COMEDI_AMPLC_DIO200_ISA all=m
-COMEDI_AMPLC_PC236_ISA all=m
-COMEDI_AMPLC_PC263_ISA all=m
-COMEDI_DAS08_ISA all=m
-
-#-
-#- *** FILE: drivers/usb/gadget/udc/Kconfig ***
-#-
-USB_FUSB300 all=m
-#- file drivers/usb/gadget/udc/bdc/Kconfig goes here
-
-#-
-#- *** FILE: init/Kconfig ***
-#-
-#- file kernel/irq/Kconfig goes here
-#- file kernel/time/Kconfig goes here
-IRQ_TIME_ACCOUNTING x86=n
-#- file usr/Kconfig goes here
-#- file arch/Kconfig goes here
-#- Do not forget to sign required modules with scripts/sign-file
-#- file block/Kconfig goes here
-#- file kernel/Kconfig.locks goes here
-
-#-
-#- *** FILE: kernel/gcov/Kconfig ***
-#-
-ARCH_HAS_GCOV_PROFILE_ALL x86=y
-
-#-
-#- *** FILE: kernel/irq/Kconfig ***
-#-
-SPARSE_IRQ i386=y x86_64=y
-
-#-
-#- *** FILE: lib/Kconfig.debug ***
-#-
-#- file mm/Kconfig.debug goes here
-DEBUG_STACK_USAGE x86=n
-DEBUG_PER_CPU_MAPS x86=n
-DEBUG_STACKOVERFLOW x86=n
-#- file lib/Kconfig.kmemcheck goes here
-#- file lib/Kconfig.kasan goes here
-DEBUG_STRICT_USER_COPY_CHECKS x86=n
-#- file kernel/trace/Kconfig goes here
-MEMTEST x86=n
-#- file samples/Kconfig goes here
-#- file lib/Kconfig.kgdb goes here
-#- file lib/Kconfig.ubsan goes here
-STRICT_DEVMEM x86=y
-IO_STRICT_DEVMEM x86=y
-
-#-
-#- *** PROBABLY REMOVED OPTIONS ***