fix mismerge

diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index a8a64b076f817421e3b24ed30def009cab300bd8..f7b0b51c65919544f955b4f9cb83be2c0b0ec6e6 100644 (file)
--- a/grub-core/Makefile.core.def
+++ b/grub-core/Makefile.core.def
@@ -167,10 +167,6 @@ kernel = {
   arm_coreboot = commands/keylayouts.c;
   arm_coreboot = kern/arm/coreboot/dma.c;
 
-  arm_coreboot = kern/arm/coreboot/init.c;
-  arm_coreboot = kern/arm/coreboot/timer.c;
-  arm_coreboot = kern/arm/coreboot/coreboot.S;
-
   terminfoinkernel = term/terminfo.c;
   terminfoinkernel = term/tparm.c;
   terminfoinkernel = commands/extcmd.c;