[coreboot-gerrit] Patch set updated for coreboot: a3bf2d8 inteltool: refine GPIO and PMBASE/TCO printing on Ibex Peak/5 Series