Index: kernel/generic/src/lib/elf.c
===================================================================
--- kernel/generic/src/lib/elf.c	(revision b366a6f4b86cb7fe82fcf415965c5a7de1a59638)
+++ kernel/generic/src/lib/elf.c	(revision 41ff85bc9c7b95866ea76ea1a6e64fc07d7bf10e)
@@ -47,4 +47,6 @@
 #include <macros.h>
 #include <arch.h>
+
+#include <lib/elf_load.h>
 
 static const char *error_codes[] = {