A breve ne usciranno un po' comunque la scheda Teensy 2.0++ può essere già usata come programmatore su PS3 (costa circa 25 euro).
Ti conviene aspettare strumenti come l'E3 flasher, dovrebbero essere più semplici da installare (comunque costa molto di più della teensy).