[coreboot] New patch to review for coreboot: 88e6526 abuild: Add option to use binary files