[coreboot] Patch merged into coreboot/master: 87b3cab Makefile: define build result directories