Index: kernel/generic/include/main/main.h
===================================================================
--- kernel/generic/include/main/main.h	(revision e3444229c8e3295e9e2bed75246c19263f3c51a6)
+++ kernel/generic/include/main/main.h	(revision d59718e246e2f30ad97e0364fac7e75455fcb7d1)
@@ -38,7 +38,9 @@
 #include <typedefs.h>
 
-extern size_t hardcoded_kdata_size;
-extern size_t hardcoded_ktext_size;
-extern uintptr_t hardcoded_load_address;
+/* Address of the start of the kernel image. */
+extern uint8_t kernel_load_address[];
+/* Address of the end of kernel. */
+extern uint8_t kdata_end[];
+
 extern uintptr_t stack_safe;