diff --git a/Makefile b/Makefile
index aa2a46b..0ea09bc 100644
--- a/Makefile
+++ b/Makefile
@@ -113,8 +113,7 @@ install:
 	@cp source/language/*.h $(INCLUDEDIR)/language/
 	@cp source/fs/*.h $(INCLUDEDIR)/fs/
 	@cp source/fs/*.hpp $(INCLUDEDIR)/fs/
-	@cp source/kernel/kernel_functions.h $(INCLUDEDIR)/kernel/
-	@cp source/kernel/kernel_defs.h $(INCLUDEDIR)/kernel/
+	@cp source/kernel/*.h $(INCLUDEDIR)/kernel/
 
 #---------------------------------------------------------------------------------
 else
diff --git a/source/kernel/kernel_functions.h b/source/kernel/kernel_functions.h
index 240e15a..a37f3b0 100644
--- a/source/kernel/kernel_functions.h
+++ b/source/kernel/kernel_functions.h
@@ -9,9 +9,6 @@ extern "C" {
 
 void SetupKernelCallback(void);
 
-void SC0x25_KernelCopyData(u32 addr, u32 src, u32 len);
-void SC0x36_KernelReadDBATs(bat_table_t * table);
-void SC0x37_KernelWriteDBATs(bat_table_t * table);
 #ifdef __cplusplus
 }
 #endif
diff --git a/source/utils/function_patcher.cpp b/source/utils/function_patcher.cpp
index b7d35d4..de2ae36 100644
--- a/source/utils/function_patcher.cpp
+++ b/source/utils/function_patcher.cpp
@@ -26,6 +26,7 @@
 #include "logger.h"
 #include "kernel/kernel_defs.h"
 #include "kernel/kernel_functions.h"
+#include "kernel/syscalls.h"
 
 #define LIB_CODE_RW_BASE_OFFSET                         0xC1000000
 #define CODE_RW_BASE_OFFSET                             0x00000000