add hvm_device_names parameter