# CONFIG_PCI_PWRCTL_SLOT is not set
