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