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