[SeaBIOS] [PATCH v2 02/10] tpm: Factor out tpm_extend