[coreboot] New patch to review for coreboot: 0decc56 Makefile: rename bootblock linking filenames