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