@davyk
Alors, à ma grande surprise, je n'ai rien à faire. J'ai déjà fait le boulot: la mise à jour des firmwares Linux inclue ces firmwares. Ça sera diispo à la prochaine version.