[PATCH RESEND v1] xen: recognize device_model_override