Index: generic/src/lib/elf.c
===================================================================
--- generic/src/lib/elf.c	(revision c23502d0c116fcac041f6a339a7791811e9f2e9c)
+++ generic/src/lib/elf.c	(revision ff14c520ac9ef1cfa24af4cbbfd3235d2bda51c5)
@@ -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;