🎇 Add support for safely reading two 32-bit registers as a single 64-bit value.

[lukevalenty]

Sometimes a 64-bit counter may be split across two 32-bit registers that must be read independently. It would be very helpful to have built-in support to safely read these two fields and account for wrap-around of the lower 32-bits.