Upgrading the firmware is OS-independent, you just have to put a couple files on the root directory of a SD card. Unfortunately, not booting could mean several things... how far into booting does it get? Does it hang with a random patterned sceen (bad) or does it show the GP2X logo (good)...