[U-Boot-Users] Re: [PATCH][BUGFIX] Incorrect handling of AT91RM9200 timer overflow