Linux users can now use
OFFICIAL Samsung Odin v4 1.2.1 - For Linux
or
Galaxy-Flasher v0.7.0, the ultimate graphical tool for Samsung devices