[SeaBIOS] [PATCH 3/5] Refactor the parameters being passed to tpm_extend_acpi_log