Index: boot/Makefile.grub
===================================================================
--- boot/Makefile.grub	(revision c19667106913b684f8620943caecb3fdab81ea38)
+++ boot/Makefile.grub	(revision 491f773457ccde7aa37c290bb5e8e290cdec0297)
@@ -60,5 +60,5 @@
 build_dist: clean
 	mkdir -p $(BOOT)
-	cp -r $(GRUB) $(BOOT)/grub
+	cp -r -L $(GRUB) $(BOOT)/grub
 ifeq ($(GRUB_ARCH),efi)
 	gunzip $(IMAGE)