Update: http://www.jb-king.com/news_details.asp?id=198
JB-King team has released "upgrade V2.51" and solve the PS3 HDD format problem!
This upgrade content:
1：Rebuild the Security Architecture,avoid PS3 console HDD harm from Eboots including malicious code.
2: support <Ace_Combat_Assault_Horizon> and <Batman_Arkham_City>