Add missing time installation

diff --git a/grub-core/kern/ia64/efi/init.c b/grub-core/kern/ia64/efi/init.c
index 13a81a66eb0196c0a2df85bbf5298ba24600f46c..6bb4219aca7b4acb1eff0ec5ff49bf6d7694a548 100644 (file)
--- a/grub-core/kern/ia64/efi/init.c
+++ b/grub-core/kern/ia64/efi/init.c
@@ -20,6 +20,7 @@
 #include <grub/types.h>
 #include <grub/misc.h>
 #include <grub/mm.h>
+#include <grub/time.h>
 #include <grub/err.h>
 #include <grub/dl.h>
 #include <grub/cache.h>
@@ -30,6 +31,7 @@ void
 grub_machine_init (void)
 {
   grub_efi_init ();
+  grub_install_get_time_ms (grub_rtc_get_time_ms);
 }
 
 void