ION: Don't determine userspace allocation size dynamically