Forgive my cheek in "answering" this. I've never flashed any sat receiver, nor used Linux (only Dec Ultrix unix, many years ago ......).
However, PAL/NTSC is stricly hardware, ie, your receiver MUST have the correct chips on board, otherwise you can't do anything, whether by flashing, or any other way.
Isn't there a hardware settings menu?