# CONFIG_SATA_SX4 is not set