Re: [U-Boot-Users] OCOTEA get_timer() bug