My late 2013 15-inch MBPr 2.3 GHz was broken and I just got a replacement from Apple. However, the new one I got says turbo-boost up to 3.2 GHz instead of 3.5 GHz. Is this a typo or what? As far as I can tell, there is no such processor available on the Apple Store. What is going on? Thanks!