freebsd-dev/release/picobsd/router/floppy.tree/kernel.config