[PATCH 1/3] libxl: Use the name 'Xen' in driver tables