[SeaBIOS] Re: As a normal user, what am I supposed to do with TPM?