Index: boot/Makefile.grub
===================================================================
--- boot/Makefile.grub	(revision 7174403acd5a981ceacf99eda40ab7847924cf67)
+++ boot/Makefile.grub	(revision 64e63ce189ef9ee6cfebc24570651155fd68b352)
@@ -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)