Extra firmware files not yet available in Debian repositories
