[coreboot] Patch merged into filo/master: 00e82ca makefile: recreate version.h only when needed