diff --git a/fusee/fusee-secondary/src/kernel_patches.c b/fusee/fusee-secondary/src/kernel_patches.c
new file mode 100644
index 000000000..dbf85b036
--- /dev/null
+++ b/fusee/fusee-secondary/src/kernel_patches.c
@@ -0,0 +1,9 @@
+#include <string.h>
+#include "utils.h"
+#include "kernel_patches.c"
+
+void package2_patch_kernel(void *kernel, size_t size) {
+    (void)kernel;
+    (void)size;
+    /* TODO: What kind of patching do we want to try to do here? */
+}
\ No newline at end of file
diff --git a/fusee/fusee-secondary/src/kernel_patches.h b/fusee/fusee-secondary/src/kernel_patches.h
new file mode 100644
index 000000000..239a3d953
--- /dev/null
+++ b/fusee/fusee-secondary/src/kernel_patches.h
@@ -0,0 +1,8 @@
+#ifndef FUSEE_KERNEL_PATCHES_H
+#define FUSEE_KERNEL_PATCHES_H
+
+#include "utils.h"
+
+void package2_patch_kernel(void *kernel, size_t kernel_size);
+
+#endif
\ No newline at end of file
diff --git a/fusee/fusee-secondary/src/package2.c b/fusee/fusee-secondary/src/package2.c
index a24b7cf0b..d69f1720d 100644
--- a/fusee/fusee-secondary/src/package2.c
+++ b/fusee/fusee-secondary/src/package2.c
@@ -16,7 +16,6 @@
 static void package2_decrypt(package2_header_t *package2);
 static size_t package2_get_src_section(void **section, package2_header_t *package2, unsigned int id);
 static size_t package2_get_thermosphere(void **thermosphere);
-static void package2_patch_kernel(void *kernel, size_t kernel_size);
 static ini1_header_t *package2_rebuild_ini1(ini1_header_t *ini1, uint32_t target_firmware);
 static void package2_append_section(unsigned int id, package2_header_t *package2, void *data, size_t size);
 static void package2_fixup_header_and_section_hashes(package2_header_t *package2, size_t size);
@@ -263,11 +262,7 @@ static size_t package2_get_thermosphere(void **thermosphere) {
     return 0;
 }
 
-static void package2_patch_kernel(void *kernel, size_t size) {
-    (void)kernel;
-    (void)size;
-    /* TODO: What kind of patching do we want to try to do here? */
-}
+
 
 
 static ini1_header_t *package2_rebuild_ini1(ini1_header_t *ini1, uint32_t target_firmware) {