[coreboot-gerrit] Patch merged into coreboot/master: tint: Fix tint and add Kconfig option

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 4f7d329caaa99814a2383872025ca1757cf4fbad
Author: Antonello Dettori <dettori.an at gmail.com>
Date:   Fri May 27 23:44:47 2016 +0200

    tint: Fix tint and add Kconfig option
    
    Fix the compiler errors with tint, improves the Makefile,
    adds Kconfig integration and secondary payload option.
    
    Change-Id: Ia99e30f566d5ccf0d083e52bf174970535daefc5
    Signed-off-by: Antonello Dettori <dettori.an at gmail.com>
    Reviewed-on: https://review.coreboot.org/14989
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See https://review.coreboot.org/14989 for details.

-gerrit