Extra Xen configurability.