[coreboot-gerrit] Patch merged into coreboot/master: build system: rename fmap.h to fmap_config.h