# CONFIG_SSB_DRIVER_PCICORE is not set
