Come si puo´ trovare il firmware di un dispositivo nei pacchetti debian utilizzando apt? Esistono altre metodi?