As far as I know flasher-3.5 works fine under x86_64 Linux, although it is not officially supported (can anyone confirm this?)