xen-efi-build.patch
xen-tboot-launch.patch