Fixed bug with ASLR in x86 (tested Ubuntu12.10)

Signed-off-by: enrico canzonieri <enrico.canzonieri@eurecom.fr>