No suggestions from me. I haven't dealt with IP sets on the BCM too much. They don't download any code if I recall correctly. On the Mitel the sets download code first, and that can be stored on a different server, so what was done was the DHCP on the set side of the satellite was set up with the firmware files etc, so that was local and then the set was pointed to the PBX for call control. It worked quite well other than the delay that you get with satelite phones.
Simon