[PATCH] x86_64: Explain why HPET T0_CMP register is written twice