Index: generic/src/lib/elf.c
===================================================================
--- generic/src/lib/elf.c	(revision 37e7d2b98befb3ce009212e46405509cbc621888)
+++ generic/src/lib/elf.c	(revision 1b109cb54251e71a61747f3f1cdfbf22e71ef8d6)
@@ -166,10 +166,4 @@
 	}
 
-	/*
-	 * Check if the segment doesn't interfere with kernel address space.
-	 */
-	if (entry->p_vaddr + ALIGN_UP(entry->p_memsz, PAGE_SIZE) >= USER_ADDRESS_SPACE_END)
-		return EE_MEMORY;
-	
 	if (entry->p_flags & PF_X)
 		flags |= AS_AREA_EXEC;
@@ -196,5 +190,5 @@
 	a = as_area_create(as, flags, entry->p_memsz, entry->p_vaddr);
 	if (!a)
-		return EE_IRRECOVERABLE;
+		return EE_MEMORY;
 	
 	for (i = 0; i < SIZE2FRAMES(entry->p_filesz); i++) {