Исправление TheAnonymous, (текущая версия) :
Обновлял до xen 4.4 (~amd64), почти тоже самое, только другие номера строчек:
libxl: error: libxl_dm.c:1371:device_model_spawn_outcome: domain 3 device model: spawn failed (rc=-3)
libxl: error: libxl_create.c:1186:domcreate_devmodel_started: device model did not start: -3
libxl: error: libxl_dm.c:1475:kill_device_model: Device Model already exited
Исходная версия TheAnonymous, :