As I understand it, the BSODs happened when virus scanners hit a Dokany FS. Interaction between two different hooks into the kernel's FS layer, I guess.

There's a kernel-mode component here too - Dokan.sys I think. It's the equivalent to fuse.ko. I imagine a bug in FUSE could cause a kernel panic as well.