Se sai compilarti un kernel, ti consiglio di chiedere alla mailing list degli sviluppatori:
http://mmc.drzeus.cx/wiki/Controllers/SDHCI
visto che il tuo device è della stessa classe di quello supportato (805), forse aggiungere il pci id nel driver è sufficiente. Non mi azzardo però io a suggerirtelo; chiedi agli sviluppatori e senti cosa ti suggeriscono di fare.
__________________
0: or %edi, %ecx; adc %eax, (%edx); popf; je 0b-22; pop %ebx; fadds 0x56(%ecx); lds 0x56(%ebx), %esp; mov %al, %al
andeqs pc, r1, #147456; blpl 0xff8dd280; ldrgtb r4, [r6, #-472]; addgt r5, r8, r3, ror #12
|