[coreboot] Patch merged into coreboot/master: c81993b Makefile: rename romstage linking filenames