ARM: RK3188 preliminary dw_apb_timer modifications for 64bit counters.