Does anyone know what license the firmware has?  Where was it taken from? Are we really allowed to distribute it?

I'm interested in uploading this to Debian (non-free section). But this should be clarified before.