[coreboot] Patch merged into coreboot/master: cecd82c Makefile: rename bootblock linking filenames