Fix FRAMERESTORE annotations on 64-bit binaries by eliminating hard-coded 4-byte size constant in offset computations.

Former-commit-id: adc295cbeeb7cab3609afc57bed4cf0890f63736