As of 10/10/2014 - this is the firmware listed on the bitmain support site:
initramfs.bin.SD-20141003.tar.gz
Do I unpack it or just point the S4 at the tar.gz and it uploads and decompresses it
and deals with the whole thing?
Thx.
Unless bitmain has gotten around to uploading the working firmware, you'll need to use this:
The latest firmware on the site is the fixed one, I just tried it and it flashed fine.