Re: [U-Boot] [PATCH] timer: dw-apb: Add missing 64bit up-conversion