* Pull in dev/mii/files.mii from conf/files, rather than playing the magic "files include order" dance in N machine-dependent configuration definitions.