[coreboot-gerrit] New patch to review for coreboot: bf3aaa4 inteltool: refine GPIO and PMBASE/TCO printing on Ibex Peak/5 Series