Re: bespoke boot and runtime configuration [was Re: Debian System and /dev/random]