Always set RFPROC, and never set RFMEM.
Scale the number of pages allocated by ncpu.
List the fixed bug(s) I've found with sysfuzz.

So far there's only one. But I've found several more bugs that have yet
to be reported and/or fixed.