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