diff --git a/ChangeLog b/ChangeLog
index b67ed2cc7..d0663631b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-06-10  Pavel Roskin  <proski@gnu.org>
+
+	* kern/i386/coreboot/init.c: Include grub/cpu/tsc.h to fix
+	compiler warnings.
+
 2009-06-10  Felix Zielcke  <fzielcke@z-51.de>
 
 	* gendistlist.sh (EXTRA_DISTFILES): Add `genhandlerlist.sh' and
diff --git a/kern/i386/coreboot/init.c b/kern/i386/coreboot/init.c
index c12af2c22..6549a17e9 100644
--- a/kern/i386/coreboot/init.c
+++ b/kern/i386/coreboot/init.c
@@ -34,6 +34,7 @@
 #include <grub/symbol.h>
 #include <grub/cpu/io.h>
 #include <grub/cpu/kernel.h>
+#include <grub/cpu/tsc.h>
 
 #define GRUB_FLOPPY_REG_DIGITAL_OUTPUT		0x3f2