Edit File: tdx-guest.ko.xz