in reply to Re: editing options in a file
in thread editing options in a file

Note that, with the config extract provided by OP,
# CONFIG_HOTPLUG_PCI is not set
doesn't match your split, which would prevent the value from being set if needed.