Merge pull request #9545 from leoetlino/es-launch-timings IOS: Improve timing accuracy for title launches (both ARM and PPC)
