IDE: bail out of dev_print() for unknown device types