# CONFIG_SCSI_WD719X is not set