[U-Boot] [PATCH] Resubmit: Correct ARM Versatile Timer Initialization