[coreboot-gerrit] Patch merged into coreboot/master: b75a39a inteltool: refine GPIO and PMBASE/TCO printing on Ibex Peak/5 Series

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit b75a39a2fea77a87657570824c75343a40e7eea8
Author: Stefan Tauner <stefan.tauner at gmx.at>
Date:   Sat Nov 1 17:12:37 2014 +0100

    inteltool: refine GPIO and PMBASE/TCO printing on Ibex Peak/5 Series
    
    Nicolas Reinecke was noticing that in my Lenovo T410s logs the GPIO*3
    settings were missing. This led to some investigation and this patch, thanks!
    
    Change-Id: I7ba28aa00d10f988a7fe81e61d2e216b54a11006
    Signed-off-by: Alexander Couzens <lynxis at fe80.eu>
    Signed-off-by: Stefan Tauner <stefan.tauner at gmx.at>
    Reviewed-on: http://review.coreboot.org/7239
    Reviewed-by: Nicolas Reinecke <nr at das-labor.org>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Nico Huber <nico.h at gmx.de>


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

-gerrit