(PS3) Move PS3-specific FPS printing code to ps3_ctx.c