[coreboot] Patch merged into coreboot/master: 88e6526 abuild: Add option to use binary files