Patch merged into coreboot/master: 41b08d9 tpm: Fix multiple device support

the following patch was just integrated into master:
commit 41b08d99441fb8cf9e5f69eec0209c3495a40ec9
Author: Subrata 
Date:   Thu May 14 14:38:07 2015 +0530

tpm: Fix multiple device support

Current TPM driver does not support multiple devices for
    a given vendor. As the device object never takes the 2nd
    ID in the list. This patch fixes the same.

BRANCH=None
    BUG=None
    TEST=Built for sklrvp and tested on RVP3.

Change-Id: I82c3267c6c74b22650fc53dc6abdc2eb3daa138e
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: ff42613f11b4f1a79e907601f1ecb7b83a3aeaab
    Original-Change-Id: Ieb44735c37208bfe90a8e22e0348dd41c8c642d2
    Original-Signed-off-by: Subrata 
    Original-Reviewed-on: https://chromium-review.googlesource.com/271727
    Original-Reviewed-by: Duncan Laurie 
    Original-Commit-Queue: Naveenkrishna Ch 
    Original-Tested-by: Naveenkrishna Ch 
    Original-Commit-Queue: Pravin K Angolkar 
    Original-Tested-by: Pravin K Angolkar 
    Reviewed-on: http://review.coreboot.org/10303
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Philipp Deppenwiese

See http://review.coreboot.org/10303 for details.

-gerrit