Index: boot/Makefile.grub
===================================================================
--- boot/Makefile.grub	(revision c19667106913b684f8620943caecb3fdab81ea38)
+++ boot/Makefile.grub	(revision c573e0f7916129321e410bb76561bc869ceeeeb8)
@@ -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)