[coreboot] Patch set updated for coreboot: 6c1129d Makefile: rename coreboot_ap linking filenames