[SeaBIOS] [PATCH v2 0/3] tpm: Small fixes and add menu for TPM control

[Kevin O'Connor]

On Mon, Nov 30, 2015 at 11:14:16AM -0500, Stefan Berger wrote:
> This series provides two small fixes and then adds the menu for TPM control.

Thanks.  Applied.

-Kevin