Re: [U-Boot] [PATCH v3 09/11] x86: Convert to use driver model timer