[SeaBIOS] [RFC PATCH v1 2/9] tpm: Factor out tpm_extend