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