# CONFIG_HOTPLUG_PCI_ACPI_AMPERE_ALTRA is not set
