1e8d929231cf ("clocksource/drivers/arm_arch_timer: Extend write side of timer register accessors to u64")