[coreboot] New patch to review for coreboot: 0d1f8ce Makefile: rename romstage linking filenames