feature #1761: Added xen3 and xen4 vmm drivers to oned.conf