[jggimi]

Originally Posted by adore

...not forced...
$

It looks like the example in the FAQ may be misleading. Use -f with -e if you want to revise the /bsd kernel:

# config -ef /bsd

Per the config(8) man page:

     -f      Overwrite the infile kernel binary with the modified kernel.
             Otherwise, -o should be given to specify an alternate output
             file.