Hi Thiago,
Unfortunatelly, I am sorry but Pigeon Point provides only a solution with Windows, I am not aware of equivalent with Linux. But, maybe, using the stapl file, there is a solution to run it on linux.
However, we have a solution to flash the IPMC with a raspberry pi that is described here: IPMC v3 Image Upgrade Issue - #6 by jumendez
Cheers,
Julian