Re: [PATCH RESEND v1] xen: recognize device_model_override