Do the clock speeds of pixel and pixel xl differ?