--- io.h.ORIG	2015-07-23 10:05:06.870892452 +0200
+++ io.h.ORIG	2015-07-23 10:05:06.870892452 +0200
@@ -55,7 +55,7 @@ 
 __IN1(s##c_p) __IN2(s,s1,"") : "=a" (_v) : "id" (port) ,##i ); SLOW_DOWN_IO; return _v; }
 
 #define __OUTS(s) \
-extern inline void outs##s(unsigned short port, const void * addr, unsigned long count) \
+static inline void outs##s(unsigned short port, const void * addr, unsigned long count) \
 { __asm__ __volatile__ ("cld ; rep ; outs" #s \
 : "=S" (addr), "=c" (count) : "d" (port),"0" (addr),"1" (count)); }
 
--- lib.c.ORIG	2015-07-23 10:06:23.221893199 +0200
+++ lib.c.ORIG	2015-07-23 10:06:23.221893199 +0200
@@ -33,7 +33,7 @@ 
         int keycode;
 };
 
-inline void reboot(void)
+void reboot(void)
 {
 	
 	/* tell the BIOS to do a cold start */
@@ -1196,4 +1196,4 @@ 
 		   return;
 		}
 	}
-}
+}