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

the following patch was just integrated into master:
commit 4f7d329caaa99814a2383872025ca1757cf4fbad
Author: Antonello Dettori 
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 
    Reviewed-on: https://review.coreboot.org/14989
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

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

-gerrit