[coreboot] Patch merged into coreboot/master: 6c1129d Makefile: rename coreboot_ap linking filenames