random: Fix behavior of kernel option "-rs".

[pintos-anon] / vm / mmap-exit.exp

(mmap-exit) begin
(mmap-exit) run child
(child-mm-wrt) begin
(child-mm-wrt) end
(mmap-exit) child finished
(mmap-exit) end