[coreboot] Patch set updated for coreboot: 3f7b6dd Makefile: rename ramstage linking filenames