so you can use linux Galaxy-Flasher, the ultimate graphical tool for Samsung devices
or Revert Samsung Device to stock ROM on Windows PC