x86-32: compute initial mapping size more accurately