freebsd-dev/release/picobsd/floppy.tree/boot.config