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