Bueno, yo no lo he realizado, pero me imagino que los pasos seran los siguientes:
buscas el firmware del bigsat y pasarle el fix y una vez realizado esto meterselo al deco.
Hay varios post por aqui que hablan del tema.
suerte