From fa610088bafb704ae3a0bfdc5d2040542687ae14 Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Sun, 8 May 2011 17:06:28 +0200
Subject: [PATCH] Add missing time installation

---
 grub-core/kern/ia64/efi/init.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/grub-core/kern/ia64/efi/init.c b/grub-core/kern/ia64/efi/init.c
index 13a81a66e..6bb4219ac 100644
--- 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