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