Linux-Treiber für Xylons logiSDHC-Kern

Weiß jemand wie man den logiSDHC-Kern von Xylon über einen 
Linux-SDHCI-Treiber nutzen kann?
http://www.logicbricks.com/Products/logiSDHC.aspx

Das Problem besteht darin, daß erst ein

mmc0: Timeout waiting for hardware interrupt.

gemeldet wird, darauf aber ein

sdhci [sdhci_irq()]: *** mmc0 got interrupt: 0x00000002
mmc0: Got data interrupt 0x00000002 even though no data operation was in 
progress.

Ich habe die Zeitschranken in der mvsdio.c schon auf eine Sekunde 
gestellt. Von der Dokumentation ist bekannt, daß die "DAT line timeout 
detection" nicht standardkonform arbeitet, deshalb habe ich schon den 
SDHCI_QUIRK_BROKEN_TIMEOUT_VAL gesetzt - funktionieren tut es trotzdem 
nicht.