# CONFIG_PATA_NINJA32 is not set