wtf

A friend of mine asked for help getting his PS3 (CECHE, BD stock but unknown if works, black screen w/ solid green LED on normal startup) working again, but there's an issue: the PS3 format option in the recovery menu asks for system 9.99, which doesn't exist. OFW 4.86 is rejected with...