[SeaBIOS] [PATCH v2 5/5] tpm: Rename remaining interrupt functions