Almost... when your in recovery run the eboot.pbp... it should restore you with 3.71 m33
I think thats how you do it??