in reply to Re: editing options in a filein thread editing options in a file
# CONFIG_HOTPLUG_PCI is not set [download]