diff --git a/ChangeLog b/ChangeLog
index 5bafe5342..606b8e18a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-12-17  Vladimir Serbinenko  <phcoder@gmail.com>
+
+	Remove grub_bios_interrupt on coreboot.
+
+	It's not used currently and cannot be used safely currently.
+
 2013-12-16  Vladimir Serbinenko  <phcoder@gmail.com>
 
 	Update exclude.pot and mark few strings for translation.
diff --git a/grub-core/Makefile.am b/grub-core/Makefile.am
index 79c63abf1..04764384b 100644
--- a/grub-core/Makefile.am
+++ b/grub-core/Makefile.am
@@ -103,7 +103,6 @@ endif
 if COND_i386_coreboot
 KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/i386/tsc.h
 KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/i386/coreboot/lbio.h
-KERNEL_HEADER_FILES += $(top_builddir)/include/grub/i386/pc/int.h
 KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/video.h
 KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/video_fb.h
 KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/gfxterm.h
diff --git a/grub-core/kern/i386/coreboot/startup.S b/grub-core/kern/i386/coreboot/startup.S
index eb3dd9460..8c3283846 100644
--- a/grub-core/kern/i386/coreboot/startup.S
+++ b/grub-core/kern/i386/coreboot/startup.S
@@ -66,5 +66,3 @@ multiboot_header:
  *  only needed for BIOS gates).
  */
 #include "../realmode.S"
-
-#include "../int.S"