fix update_diskio() on linux: not all devices were counted before; ignore some virtua...