doc: Clarify order for writes to 64-bit timer registers.