fix for bug 4142: add vios as a new device type