feature #1691: bug reading xen driver configuration