--- zzzz-none-000/linux-2.6.32.61/arch/x86/kernel/efi.c	2013-06-10 09:43:48.000000000 +0000
+++ ar10-7272-687/linux-2.6.32.61/arch/x86/kernel/efi.c	2010-04-08 11:00:21.000000000 +0000
@@ -459,6 +459,9 @@
 	x86_platform.set_wallclock = efi_set_rtc_mmss;
 #endif
 
+	/* Setup for EFI runtime service */
+	reboot_type = BOOT_EFI;
+
 #if EFI_DEBUG
 	print_efi_memmap();
 #endif