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