PAO3/src/release/picobsd/tools/write_mfs_in_kernel
