Some further libxl backend tweaks