# CONFIG_PCMCIA_NINJA_SCSI is not set
