How many ghz does a playstation 3 have