Index: kernel/generic/include/lib/elf.h
===================================================================
--- kernel/generic/include/lib/elf.h	(revision bea09de6fa613b688ac7cad04e20e544a8e4c668)
+++ kernel/generic/include/lib/elf.h	(revision 0f6a3376dc93b2660c71d378318b088d41afec79)
@@ -65,4 +65,5 @@
 #define EM_PPC		20	/* PPC32 */
 #define EM_PPC64	21	/* PPC64 */
+#define EM_ARM		40	/* ARM */
 #define EM_SPARCV9	43	/* SPARC64 */
 #define EM_IA_64	50	/* IA-64 */
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision bea09de6fa613b688ac7cad04e20e544a8e4c668)
+++ kernel/generic/src/mm/frame.c	(revision 0f6a3376dc93b2660c71d378318b088d41afec79)
@@ -66,4 +66,5 @@
 #include <bitops.h>
 #include <macros.h>
+#include <config.h>
 
 typedef struct {