Решил сравнить дампы от GS (flash16.bin из очередного пакета обновления) и тем, что получается после прошивки исправного аппарата с помощью USB флешки, но до первого включения аппарата. Все различия (выделены красным) видны на картинках ниже, серийный номер лежит в открытом виде по адресам $001F014-001F02A. Модель ресивера (8305 или 8306) повторяется дважды, ещё разное значение (3 или 4, скорее всего указывает версию аппаратного обеспечения приёмника) в конце блока байт с номером и лишний байт 0А после номера. Если на программаторе прошить flash16.bin , то серийный номер в статусе будет состоять из одних нолей, ресивер при этом тоже пока работает, т.е. серийный номер пока не учитывается. Менять номер в дампе пока не пробовал, скорее всего ресивер будет нормально его воспринимать, поскольку контрольных байт или криптоданных, привязанных к номеру, вне пределов показанного фрагмента, в дампе не видно.