[SeaBIOS] [PATCH 08/19] tpm: Use smbios_get_tables()