Re: [U-Boot] [PATCH 08/10] x86: Convert to use driver model timer