Re: [SeaBIOS] [PATCH 2/2] Provide ACPI SSDT table for TPM device