# CONFIG_SATA_DWC is not set