Fix timer units

diff --git a/grub-core/kern/uboot/init.c b/grub-core/kern/uboot/init.c
index 431bd7b36a55f6b71703f4db4e1b88bfc1750e18..1da37384a686bff5552f84b59537b9be0481d4f8 100644 (file)
--- 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