I found out that the file name has apparently been changed to
/proc/sys/kernel/randomize_va_space. So I guess this is just a release notes
issue. It needs to be in the release notes so that people can update their
/etc/sysctl.conf file.
Sorry for the noise.
(I tried to change the priority to low, but bugzilla said that only the
submitter could change that field, even though I am the submitter, and I am
logged in. Odd.)