[coreboot-gerrit] New patch to review for coreboot: 8789806 make: avoid problems with mv aliases