# CONFIG_SATA_HIGHBANK is not set