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