# CONFIG_AHCI_CEVA is not set