diff --git a/ChangeLog b/ChangeLog
index 3e1ace4af..33206cdac 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-12-03  Colin Watson  <cjwatson@ubuntu.com>
+
+	* grub-core/Makefile.core.def (setjmp): Distribute
+	lib/arm64/setjmp.S.
+
 2013-12-03  Colin Watson  <cjwatson@ubuntu.com>
 
 	Add a new timeout_style environment variable and a corresponding
diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index cdb62e2f4..c2b01d437 100644
--- a/grub-core/Makefile.core.def
+++ b/grub-core/Makefile.core.def
@@ -1571,6 +1571,7 @@ module = {
   extra_dist = lib/ia64/setjmp.S;
   extra_dist = lib/ia64/longjmp.S;
   extra_dist = lib/arm/setjmp.S;
+  extra_dist = lib/arm64/setjmp.S;
 };
 
 module = {