[coreboot] Patch merged into filo/master: df119be makefile: rebuild config.h when needed