# CONFIG_AHCI_MTK is not set
