diff --git a/HACKING b/HACKING
index fdad7c3247..a49dd9f694 100644
--- a/HACKING
+++ b/HACKING
@@ -61,3 +61,7 @@ Third-party Code and License Overview
   Source: http://lxr.mozilla.org/mozilla1.8.0/source/js/src/jscpucfg.c
   Current version we use: CVS rev. 3.25
 
+* include/cpu/generic/x86/div64.h: GPLv2
+  Source: git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6
+  Current version we use: e2afe67453e5b1499459ee3596b1e7924a5208f5
+
diff --git a/include/cpu/generic/x86/div64.h b/include/cpu/generic/x86/div64.h
index 28ed8b296a..996b95768d 100644
--- a/include/cpu/generic/x86/div64.h
+++ b/include/cpu/generic/x86/div64.h
@@ -1,3 +1,9 @@
+/*
+ * This file is part of the LinuxBIOS project.
+ *
+ * It was taken from the Linux kernel, include/asm-i386/div64.h.
+ */
+
 #ifndef __I386_DIV64
 #define __I386_DIV64
 
@@ -35,7 +41,7 @@
  */
 #define div_long_long_rem(a,b,c) div_ll_X_l_rem(a,b,c)
 
-extern inline long
+static inline long
 div_ll_X_l_rem(long long divs, long div, long *rem)
 {
 	long dum2;