Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision ed0dd65c9dbd967fb298a751aace9d7aed3c3569)
+++ src/main/main.c	(revision e9b9e125feb7cb5079dea41f6bcf7da21fc4b5aa)
@@ -64,5 +64,5 @@
  * the linker with appropriate sizes and addresses.
  */
-__u32 hardcoded_load_address = 0;
+__address hardcoded_load_address = 0;
 __u32 hardcoded_ktext_size = 0;
 __u32 hardcoded_kdata_size = 0;