[coreboot] Patch merged into coreboot/master: 755e2c0 Makefile: rename ramstage linking filenames