[coreboot] New patch to review for coreboot: 64762db Makefile: rename ramstage linking filenames