bug#23529: Request for fixing randomize_va_space build issues

[Eli Zaretskii]

> From: Philippe Vaucher <philippe.vaucher@gmail.com>
> Date: Tue, 13 Sep 2016 17:21:18 +0200
> Cc: Paul Eggert <eggert@cs.ucla.edu>, Philipp Stephani 
> <p.stephani2@gmail.com>, 23529@debbugs.gnu.org
> 
> I thought you wanted to keep the dumping feature tho, maybe I
> missunderstood you (again) :-)

I want to keep the ability of users to add more packages to the stuff
that is automatically available at startup.