[Bug 875370] Xen fails to setup devices and is therefore unable to start a (pv) domain