Having two knobs until you get a kernel core dump saved is silly.

Having two knobs until you get a kernel core dump saved is silly.
Leave dumpdev, but kill the savecore variable.  Thus, it's still off
by default, but all you need is enabling dumpdev now.

phk's old argument that savecore might inadvertendly fill up the disk
no longer counts, savecore now correctly obeyes a `minfree' file, and
we ship our systems with such a file that even has a reasonable
default.