[coreboot] Patch merged into filo/master: 1b31017 makefile: avoid unnecessary rebuilds