diff --git a/ChangeLog b/ChangeLog
index df31ef3e3..db2e0b1f6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-09-29  Mads Kiilerich <mads@kiilerich.com>
+
+	* grub-core/Makefile.core.def (kernel): Add kern/i386/int.S to
+	extra_dist.
+
 2011-09-29  Mario Limonciello <mario_limonciello@dell.com>
 
 	* util/misc.c (grub_util_get_disk_size) [__MINGW32__]: Strip trailing
diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index e95d87d37..e9e4f06d8 100644
--- a/grub-core/Makefile.core.def
+++ b/grub-core/Makefile.core.def
@@ -219,6 +219,7 @@ kernel = {
 
   videoinkernel = commands/boot.c;
 
+  extra_dist = kern/i386/int.S;
   extra_dist = kern/i386/realmode.S;
   extra_dist = kern/i386/pc/lzma_decode.S;
   extra_dist = kern/mips/cache_flush.S;