# CONFIG_SATA_AHCI_PLATFORM is not set
