Re: [U-Boot] [RFC] Timer API (again!)