add mirage-kfreebsd and mirage packages