[U-Boot] [PATCH V3] Nomadik: fix reset_timer()