Hello
Would a freedesktop compliant plug in would do the trick ?
http://debian-facile.org/viewtopic.php?id=4029
(sorry it is in french ....but the main stuff is in the git

)
Marek, do you think it would be possible to provide us the informlation on how to create the SD card ?
I'm absolutly not proficient with that kinf of work:s
it's not urgent ...but if I want to changes some stuff in the kernel ....that would be of great help for a lot a people I guess,
PS : depending on how i manage to make it work on the mini, i'll perhaps go for a aura HD