[U-Boot] [PATCH v2 09/16] timer: Set up the real timer after driver model is available