--- trunk/grubby/grubby.c	2014/07/16 10:38:09	2685
+++ trunk/grubby/grubby.c	2014/07/16 10:41:38	2687
@@ -720,10 +720,17 @@
 					 struct configFileInfo *cfi) {
     if (isEfi && cfi == &grub2ConfigType) {
 	switch (type) {
+#if defined(__aarch64__)
+	case LT_KERNEL:
+	    return LT_KERNEL;
+	case LT_INITRD:
+	    return LT_INITRD;
+#else
 	case LT_KERNEL:
 	    return LT_KERNEL_EFI;
 	case LT_INITRD:
 	    return LT_INITRD_EFI;
+#endif
 	default:
 	    return type;
 	}