[PATCH 0/2] libxl: Support custom EFI firmware path