[coreboot-gerrit] New patch to review for coreboot: a8ddb7c binaryPI boards: Minor fixups to unify boards