[Ralph Siemsen] > It is part of the firmware RPM package; not sure how this is handled in > debian. I suspect there is none, because the licensing of the firmware > package is uncertain. Source is available, but copyrighted. URL?