Re: [PATCH v4 13/23] qemu_firmware: Pick the right firmware for TDX guests