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

the following patch was just integrated into master:
commit b75a39a2fea77a87657570824c75343a40e7eea8
Author: Stefan Tauner 
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 
    Signed-off-by: Stefan Tauner 
    Reviewed-on: http://review.coreboot.org/7239
    Reviewed-by: Nicolas Reinecke 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Nico Huber

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

-gerrit