# CONFIG_PCI_PWRCTRL_TC9563 is not set
