[U-Boot] [U-boot] Question about the (new) U-Boot Timer API