Avoid undefined behavior when reading clock.
Despite being incorrect, the previous code would typically work on x86 because x86 is silly.
Lionel told me about this issue months ago and I neglected to commit the fix. Sorry!
Authored by: floppusmaximus 2016-10-22
Parent: [r756]
Child: [r758]