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