I don't think the DOS card would work in a 6400 since it has to connect to either the PDS slot of the 8100 or a NUBUS slot, neither of which the 6400 has.

The closest you might get other than an 8100 *might* be a 7100.

John