[PATCH 6/6] [WIP] libertas: add support for 8385 CompactFlash cards

[Holger Schurig]

> Here you've defined cardevent = 0x0010, but the SDIO driver
> has cardevent = 0x0008...  are they just different for each
> part?

Oh, I'll look into this. However, I guess that they refer to 
different cardevent bits, one in the Host Int Status, the other 
in the Card Int Status. But that's just a wild guess.