feature #1691: bug reading xen driver configuration
(cherry picked from commit 902c594b2e0c8e0e725627b1529c55de215549f3)