# CONFIG_HOTPLUG_PCI_COMPAQ_NVRAM is not set