Como soy novato en esto, posiblemente la pregunta sea una perogrullada, pero como no me queda claro, la hago.

El firmware que encontramos en la web que todos saben, pone Hispasat, sirve igual para satelites Astra o Hispasat indistintamente.