Index: kernel/generic/include/main/main.h
===================================================================
--- kernel/generic/include/main/main.h	(revision c35aabe17f88c641ba73cf3a61943af3233cb58f)
+++ kernel/generic/include/main/main.h	(revision bae6169d4f9b88ee5aeb699d590e0d32155057ac)
@@ -38,4 +38,7 @@
 #include <arch/types.h>
 
+extern size_t hardcoded_kdata_size;
+extern size_t hardcoded_ktext_size;
+extern uintptr_t hardcoded_load_address;
 extern uintptr_t stack_safe;
 
Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision c35aabe17f88c641ba73cf3a61943af3233cb58f)
+++ kernel/generic/src/main/main.c	(revision bae6169d4f9b88ee5aeb699d590e0d32155057ac)
@@ -101,16 +101,4 @@
 context_t ctx;
 
-/*
- * These 'hardcoded' variables will be intialized by
- * the linker or the low level assembler code with
- * appropriate sizes and addresses.
- */
-
-/** Virtual address of where the kernel is loaded. */
-uintptr_t hardcoded_load_address = 0;
-/** Size of the kernel code in bytes. */
-size_t hardcoded_ktext_size = 0;
-/** Size of the kernel data in bytes. */
-size_t hardcoded_kdata_size = 0;
 /** Lowest safe stack virtual address. */
 uintptr_t stack_safe = 0;