Received my devices today after a week of shipping. Im quite impressed by the quality of burnin's service regardless.
It is possible to update the firmware using a raspberrypi and arch linux after all. Somebody in an earlier posting stated that it isnt possible, but I found it works just fine.
I simply checked out
http://code.google.com/p/pic32prog/ as read-only, installed build-essentials and libusb-compat and compiled it. If you try to compile it without libusb-compat installed, youll get an error because usb.h is missing.
Then I had an issue where my pic32prog wouldnt recognize the bootloaders. They always timed out. If you have the same problem, edit lines 163-166 in target.c:
if (! t->adapter)
t->adapter = adapter_open_hidboot ();
if (! t->adapter)
t->adapter = adapter_open_an1388 ();
to look like this:
if (! t->adapter)
t->adapter = adapter_open_an1388 ();
if (! t->adapter)
t->adapter = adapter_open_hidboot ();
then recompile (make && make install) and try again.
to flash, simply execute ./pic32prog BitBurner_08.05b.hex
I did all of the above the above as root, otherwise youll probably run into permission issues.