Index: generic/src/lib/elf.c
===================================================================
--- generic/src/lib/elf.c	(revision c23502d0c116fcac041f6a339a7791811e9f2e9c)
+++ generic/src/lib/elf.c	(revision b1fd4f0d27464f1c0d19fe9eba51e64568127c4f)
@@ -194,5 +194,5 @@
 		segment = ((void *) elf) + entry->p_offset;
 
-	a = as_area_create(as, flags, SIZE2FRAMES(entry->p_memsz), entry->p_vaddr);
+	a = as_area_create(as, flags, entry->p_memsz, entry->p_vaddr);
 	if (!a)
 		return EE_IRRECOVERABLE;