[PATCH v2] xen: recognize device_model_override