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