[PATCH] [ARM] Enable boot module for arm

[Francesco Lavra]

Since the last merge of mainline into the arm branch, building for arm
fails because commands/boot.c is not compiled anymore. The boot module
should be enabled for arm too.

2013-07-21  Francesco Lavra  <address@hidden>

        * grub-core/Makefile.core.def (boot): Enable on ARM.

=== modified file 'grub-core/Makefile.core.def'
--- grub-core/Makefile.core.def 2013-07-16 16:43:43 +0000
+++ grub-core/Makefile.core.def 2013-07-21 10:16:34 +0000
@@ -691,6 +691,7 @@
   common = commands/boot.c;
   i386_pc = lib/i386/pc/biosnum.c;
   enable = x86;
+  enable = arm;
   enable = emu;
   enable = sparc64_ieee1275;
   enable = powerpc_ieee1275;