[coreboot-gerrit] Change in coreboot[master]: [TESTONLY] binaryPI: Re-enable boards to build