Re: [PATCH v2] xen: recognize device_model_override