im sorry that i cant answer your question but i do know another solution to your problem:
why go through all the trouble of flashing and all of that?
just get an overclocking prx and use that to play wifi games with 333mhz. i would suggest getting the modded irshell mp3 prx. you can play music from your MUSIC folder while in game and overclock.
and when you want to connect wifi while playing a game, clock it to 222mhz so it connects to whatever you are connecting to...and when connected, overclock it back to 333mhz. its as simple as that. tried myself and it works.
sorry if that doesnt help...but good luck.
Edit:
2.71 SEB'' irsmp3 module - QJ.NET Forums