Show device platform as well as name when output to ostream