Put all xxxHostTypeIF.bsv files into HostInterface.bsv