loader: Reserve some space for 32-bit top-down allocations on 64-bit.