I don’t recall the exact spec, but the provided power from a USB 2 source is “listed” as 5V, and yet it has an actual range of tolerance. Quite often I see this at 5.2V, and 5.2V is actually a good voltage to use. I don’t know if 5.25V is too much, but it is so close to the common 5.2V that I suspect it is fine at that voltage. I just can’t guarantee it. The real trick though is that if the Jetson goes to and from a high load, does it shut down? If it does not shut down, then you’re probably in luck and all should be good.
Someone else might be able to verify if 5.25V is in tolerance.