Hi there,
I think you may be getting confused with graphics cards when you mention pipelines.
The processors are named in line with thier speed, so the T7500 will have a higher speed than the T7100. With mobile processors there is usually little or nothing that can be done to change the speed.
When you say that the system hardware claims it to be a T7500, do you mean in the hardware specs detailed by the vendor or is this what the PC say's it is.
If the vendor has specified a T7500 but supplied it with a T7100 then you can get it replaced to the correct spec. If it's the other way round then well done! you got a higher spec for the same money!