diff --git a/grub-core/kern/uboot/init.c b/grub-core/kern/uboot/init.c
index 431bd7b36..1da37384a 100644
--- a/grub-core/kern/uboot/init.c
+++ b/grub-core/kern/uboot/init.c
@@ -63,7 +63,7 @@ uboot_get_boot_data (void)
 static grub_uint64_t
 uboot_timer_ms (void)
 {
-  return (grub_uint64_t) uboot_get_timer (timer_start);
+  return (grub_uint64_t) uboot_get_timer (timer_start) / 1000;
 }
 
 void