I have no idea whatsoever. But if you have a flasher for PRS-500, you can use the same method I used for PRS-505 - you extract the file from original firmware, overwrite its contents, then flash it back.
You may find this utility useful:
http://www.pepak.net/files/mirror/cramfsck.zip